Luca Bruno 1942d9cadc gnome-control-center: find gnome-shell search providers		2014-04-17 17:32:20 +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	gnome-shell-extensions: new package	2014-04-14 09:58:04 +02:00