void-packages/srcpkgs/gnome-terminal
Juan RP c600879d30 gnome-terminal: update to 3.10.1. 2013-10-15 06:51:11 +02:00
..
template gnome-terminal: update to 3.10.1. 2013-10-15 06:51:11 +02:00