Jan Tojnar d01c5156d9 gnome3.gnome-control-center: remove unnecessary gnome-themes-extra dependency		2018-03-23 13:18:37 +01:00
..
default.nix	gnome3.gnome-control-center: remove unnecessary gnome-themes-extra dependency	2018-03-23 13:18:37 +01:00
paths.patch	gnome3.gnome-control-center: add gnome-color-manager support	2018-03-13 01:14:37 +01:00