Juan RP 07673cf4d0 gnome-shell-extensions: needs gnome-desktop-devel to build.		2011-07-05 13:20:27 +02:00
..
gnome-shell-extensions-alternate-tab.template
gnome-shell-extensions-alternative-status-menu.template
gnome-shell-extensions-automove-windows.template
gnome-shell-extensions-dock.template
gnome-shell-extensions-user-theme.template
gnome-shell-extensions-windows-navigator.template
template	gnome-shell-extensions: needs gnome-desktop-devel to build.	2011-07-05 13:20:27 +02:00