Luca Bruno a7d6947343 gnome-terminal 3.12: enable nautilus extension		2014-05-28 18:16:54 +02:00
..
default.nix	gnome-terminal 3.12: enable nautilus extension	2014-05-28 18:16:54 +02:00