Luca Bruno 997b4898b5 gnome-shell-extensions: new package ... Modify and extend GNOME Shell functionality and behavior https://wiki.gnome.org/Projects/GnomeShell/Extensions		2014-04-14 09:58:04 +02:00
..
core	gnome-shell-extensions: new package	2014-04-14 09:58:04 +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