void-packages/srcpkgs/gnome-terminal
Juan RP 367ecb3773 gnome-terminal: update to 3.8.3. 2013-06-10 20:10:36 +02:00
..
template gnome-terminal: update to 3.8.3. 2013-06-10 20:10:36 +02:00