Robert Schütz 18774d4173 Merge branch 'master' into staging		2018-07-15 12:31:18 +02:00
..
apps	gnome3.gnome-logs: 3.28.3 → 3.28.5	2018-07-13 23:46:40 +02:00
core	Merge branch 'master' into staging	2018-07-15 12:31:18 +02:00
devtools	gnome3.gconf: remove	2018-07-10 12:14:40 +02:00
extensions	gnomeExtensions.dash-to-dock: 62 → 63	2018-04-03 18:13:25 +02:00
games	gnome3.gconf: remove	2018-07-10 12:14:40 +02:00
misc	Merge branch 'master' into staging	2018-07-15 12:31:18 +02:00
default.nix	gnome3.gconf: remove	2018-07-10 12:14:40 +02:00
find-latest-version.py	gnome3.updateScript: ignore prerelease versions	2018-03-04 20:05:53 +01:00
installer.nix
update.nix	gnome3: add updateScript	2018-03-01 02:53:00 +01:00