void-packages/srcpkgs/gnome-desktop
Juan RP 81c3374533 gnome-desktop: update to 3.12.2. 2014-05-17 10:37:28 +02:00
..
template gnome-desktop: update to 3.12.2. 2014-05-17 10:37:28 +02:00