void-packages/srcpkgs/gnome-shell-extensions
Juan RP 4293fe4515 gnome-shell-extensions: update to 3.8.3. 2013-06-11 00:19:47 +02:00
..
template gnome-shell-extensions: update to 3.8.3. 2013-06-11 00:19:47 +02:00