Jascha Geerds 4be51c84d5 gnome3_18: Update to latest patch release		2016-01-13 15:14:08 +01:00
..
0001-Search-for-themes-and-icons-in-system-data-dirs.patch
0002-Don-t-show-multiple-entries-for-a-single-theme.patch
0003-Create-config-dir-if-it-doesn-t-exist.patch
default.nix
find_gsettings.patch
src.nix