Luca Bruno 3cc07a44bc gnome-tweak-tool: new package ... A tool to customize advanced GNOME 3 options https://wiki.gnome.org/action/show/Apps/GnomeTweakTool		2014-04-14 09:58:04 +02:00
..
core	gnome-online-accounts: add dbus service	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-tweak-tool: new package	2014-04-14 09:58:04 +02:00