Florian Müllner d0910da036 Port preferences to GSettings ... Move preferences to GSettings, using mainly shared schemas from gsettings-desktop-schemas. Unlike GConf, GSettings support is not optional, as Gio is already a hard dependency of GTK+. https://bugzilla.gnome.org/show_bug.cgi?id=635378		2011-11-11 20:26:38 +01:00
..
tokentest	Remove deprecated GTK symbols	2009-08-04 09:23:37 +01:00
mutter-test	Port preferences to GSettings	2011-11-11 20:26:38 +01:00