Luca Bruno bfbdbc19eb gedit: new package ... Official text editor of the GNOME desktop environment https://wiki.gnome.org/Apps/Gedit		2014-04-22 22:17:19 +02:00
..
default.nix	gedit: new package	2014-04-22 22:17:19 +02:00