Jan Tojnar 0ff3e9dc9d gnome.gnome-shell: 42.beta → 42.0 ... https://gitlab.gnome.org/GNOME/gnome-shell/-/compare/42.beta...42.0		2022-03-25 15:02:36 +01:00
..
default.nix	gnome.gnome-shell: 42.beta → 42.0	2022-03-25 15:02:36 +01:00
fix-paths.patch	gnome.gnome-shell: 40.4 → 41.0	2021-10-09 21:35:54 +02:00
shew-gir-path.patch
wrap-services.patch	gnome.gnome-shell: 41.3 → 42.beta	2022-03-25 15:01:25 +01:00