verdre 193e4ae31e workspace: Use globals for delays and animation times ...

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/346

2019-01-31 17:36:25 +00:00

..

extensionPrefs

…

gdm

…

misc

weather: Change Weather app ID

2019-01-31 12:33:10 -05:00

perf

…

portalHelper

…

ui

workspace: Use globals for delays and animation times

2019-01-31 17:36:25 +00:00

js-resources.gresource.xml

…

meson.build

…

portal-resources.gresource.xml

…

prefs-resources.gresource.xml

…