void-packages/srcpkgs/gnome-shell
Juan RP 52eb93bdd1 gnome-shell: needs gir-freedesktop, require newer mutter. 2011-07-13 11:43:56 +02:00
..
template gnome-shell: needs gir-freedesktop, require newer mutter. 2011-07-13 11:43:56 +02:00