Jan Tojnar d5bbb86bcb Merge pull request #76257 from r-ryantm/auto-update/gnome-shell-extensions ... gnome3.gnome-shell-extensions: 3.34.1 -> 3.34.2		2019-12-25 01:06:59 +01:00
..
apps	Merge pull request #76359 from r-ryantm/auto-update/polari	2019-12-24 20:29:32 +01:00
core	Merge pull request #76257 from r-ryantm/auto-update/gnome-shell-extensions	2019-12-25 01:06:59 +01:00
devtools	gjs: move to top-level	2019-11-05 00:47:04 +01:00
extensions	gnomeExtensions.workspace-grid: Remove	2019-12-08 13:53:18 -08:00
games	gnome3.iagno: 3.34.2 -> 3.34.3 (#74402)	2019-11-28 02:43:41 +01:00
misc	gnome3.gnome-autoar: 0.2.3 -> 0.2.4	2019-12-23 06:38:52 -08:00
default.nix	networkmanagerapplet: default to withGnome	2019-12-13 18:23:20 -05: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: clean up PATH	2019-06-02 09:44:13 +02:00