Florian Müllner a9ab8784c4 Adapt to mutter moving to GSettings ... https://bugzilla.gnome.org/show_bug.cgi?id=663429		2011-11-11 20:32:43 +01:00
..
search_providers
shaders	windowManager: shade the actor, not the texture	2011-09-20 14:56:25 -04:00
theme	workspaceThumbnail: Allow users to create workspaces at any position	2011-11-07 14:36:06 -05:00
gnome-shell.desktop.in.in
Makefile.am	Adapt to mutter moving to GSettings	2011-11-11 20:32:43 +01:00
org.gnome.shell.gschema.xml.in	Adapt to mutter moving to GSettings	2011-11-11 20:32:43 +01:00