Jan Tojnar a1ed87daa1 gnome3.gnome-terminal: 3.28.2 → 3.30.2		2018-11-30 21:34:25 +01:00
..
default.nix	gnome3.gnome-terminal: 3.28.2 → 3.30.2	2018-11-30 21:34:25 +01:00