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
..
default.nix	…
find_gsettings.patch	…