Jakub Steiner 5858028411 theme: tone down search entry stroke ... https://bugzilla.gnome.org/show_bug.cgi?id=757011		2015-10-26 16:00:48 +01:00
..
theme	theme: tone down search entry stroke	2015-10-26 16:00:48 +01:00
50-gnome-shell-system.xml.in
gnome-shell-extension-prefs.desktop.in.in
gnome-shell-overrides.convert
gnome-shell-theme.gresource.xml	HighContrast: provide more contrasty switches	2015-04-15 19:35:51 +02:00
gnome-shell-wayland.desktop.in.in
gnome-shell.desktop.in.in
Makefile.am
org.gnome.shell.gschema.xml.in.in	Fix translator comment	2015-07-15 22:43:23 +02:00
org.gnome.Shell.PortalHelper.desktop.in	portalHelper: Change user facing name to "Network Login"	2014-11-07 10:09:12 +01:00
org.gnome.Shell.PortalHelper.service.in
org.gnome.Shell.Screencast.xml
org.gnome.Shell.Screenshot.xml
org.gnome.ShellSearchProvider2.xml
org.gnome.ShellSearchProvider.xml
perf-background.xml.in