void-packages/srcpkgs/gnome-terminal
Juan RP 7cf8d82bca gnome-terminal: update to 3.12.2. 2014-05-17 10:40:19 +02:00
..
template gnome-terminal: update to 3.12.2. 2014-05-17 10:40:19 +02:00