Frederik Rietdijk 36a6746f21 Merge master into staging-next		2019-05-28 08:32:03 +02:00
..
apps	Merge master into staging-next	2019-05-24 12:39:37 +02:00
core	Merge master into staging-next	2019-05-28 08:32:03 +02:00
devtools	gnome3.gsettings-desktop-schemas -> gsettings-desktop-schemas	2019-04-17 13:39:23 -04:00
extensions	gnomeExtensions.gsconnect: 21 → 23	2019-05-03 04:34:43 +02:00
games	gnome3.gnome-mines: 3.32.0 -> 3.32.2	2019-05-15 21:17:32 -04:00
misc	gnome3.gnome-flashback: 3.30.0 -> 3.32.0	2019-05-18 16:00:41 -04:00
default.nix	gnome3.gsettings-desktop-schemas -> gsettings-desktop-schemas	2019-04-17 13:39:23 -04:00
find-latest-version.py	gnome3.updateScript: improve pre-release detection	2018-11-30 21:35:29 +01:00
installer.nix
update.nix	gnome3.updateScript: reuse gnome-update-script	2018-12-02 00:50:37 +01:00