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

…