This website requires JavaScript.
Explore
Help
Sign in
jcgruenhage
/
void-packages
Watch
1
Star
0
Fork
You've already forked void-packages
0
Code
Issues
Pull requests
Projects
Releases
Wiki
Activity
e759007b28
void-packages
/
srcpkgs
/
gnome-shell-extensions
History
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