75fdca0b47
The default in gsettings-desktop-schemas now matches what we want, so no need to keep overriding it. |
||
---|---|---|
.. | ||
theme | ||
50-gnome-shell-system.xml.in | ||
gnome-shell-extension-prefs.desktop.in.in | ||
gnome-shell-overrides.convert | ||
gnome-shell-wayland.desktop.in.in | ||
gnome-shell.desktop.in.in | ||
Makefile.am | ||
org.gnome.shell.gschema.xml.in.in | ||
org.gnome.Shell.Screencast.xml | ||
org.gnome.Shell.Screenshot.xml | ||
org.gnome.ShellSearchProvider2.xml | ||
org.gnome.ShellSearchProvider.xml |