Florian Müllner 3d75b48d50 prefs: Remove override system
With the support for per-desktop default values in GSettings, we
no longer need the mutter-specific override mechanism.

https://bugzilla.gnome.org/show_bug.cgi?id=786496
2018-07-31 18:38:53 +00:00
..
2014-05-02 09:34:48 -04:00
2017-02-16 02:44:16 +01:00
2018-07-31 18:38:53 +00:00
2018-07-06 19:47:16 +02:00