void-packages/srcpkgs/gnome-terminal
Juan RP 72c5ccb509 gnome-terminal: update to 3.12.3. 2014-06-24 12:30:22 +02:00
..
template