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
..
apps/gedit	gedit: new package	2014-04-22 22:17:19 +02:00
core	gnome-control-center: find gnome-shell search providers	2014-04-17 17:32:20 +02:00
desktop	gnome-dictionary: remove the duplicated entry under desktop/	2014-04-09 00:36:53 +02:00
misc	gnome-tweak-tool: new package	2014-04-14 09:58:04 +02:00
default.nix	gedit: new package	2014-04-22 22:17:19 +02:00