void-packages/srcpkgs/gnome-shell
Juan RP 975a5f0ed3 gnome-shell: update to 3.8.3. 2013-06-11 00:14:18 +02:00
..
template gnome-shell: update to 3.8.3. 2013-06-11 00:14:18 +02:00