Jan Tojnar 0eb7bd28dd Merge pull request #80863 from zowoq/gnome-ext ... gnomeExtensions: cleanup		2020-03-02 20:02:12 +01:00
..
apps	gnome3.gnome-characters: 3.32.1 -> 3.34.0	2020-02-28 14:59:37 +00:00
core	gnome3.gnome-desktop: 3.34.2 -> 3.34.4	2020-02-19 21:28:08 -05:00
devtools	gjs: move to top-level	2019-11-05 00:47:04 +01:00
extensions	gnomeExtensions.volume-mixer: remove	2020-02-23 14:09:08 +10:00
games	gnome3.iagno: 3.34.4 -> 3.34.5	2020-02-18 07:23:10 -05:00
misc	gnome3.geary: 3.34.1 -> 3.34.2	2020-02-18 07:19:10 -05: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