gnomeExtensions: 41 → 42

This commit is contained in:
piegames 2022-03-22 18:53:16 +01:00 committed by Jan Tojnar
parent 3b052a0f61
commit d30f68d0b8

View file

@ -60,7 +60,7 @@ in rec {
gnome41Extensions = mapUuidNames (produceExtensionsList "41");
gnome42Extensions = mapUuidNames (produceExtensionsList "42");
gnomeExtensions = lib.trivial.pipe (gnome40Extensions // gnome41Extensions) [
gnomeExtensions = lib.trivial.pipe (gnome41Extensions // gnome42Extensions) [
# Apply some custom patches for automatically packaged extensions
(callPackage ./extensionOverrides.nix {})
# Add all manually packaged extensions