void-packages/srcpkgs/gnome-shell-extensions
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