Jan Tojnar 72b27f2519 gnome3: 3.28.0 → 3.28.1		2018-04-14 13:35:45 +02:00
..
default.nix	gnome3: 3.28.0 → 3.28.1	2018-04-14 13:35:45 +02:00
paths.patch	gnome3.gnome-control-center: add gnome-color-manager support	2018-03-13 01:14:37 +01:00