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
..
.cvsignore
Makefile.am	Comprehensively rename to Mutter	2009-06-16 14:17:10 -04:00
mutter-message.1	Port preferences to GSettings	2011-11-11 20:26:38 +01:00
mutter-theme-viewer.1	Comprehensively rename to Mutter	2009-06-16 14:17:10 -04:00
mutter-window-demo.1	Comprehensively rename to Mutter	2009-06-16 14:17:10 -04:00
mutter.1	Port preferences to GSettings	2011-11-11 20:26:38 +01:00