diff options
author | piegames <git@piegames.de> | 2022-09-25 20:51:30 +0200 |
---|---|---|
committer | piegames <git@piegames.de> | 2022-09-27 13:39:06 +0200 |
commit | 73e71f2ef9ba1cd1ccf4d0cea2009818d41dab89 (patch) | |
tree | bb499db19db6e97790f4dbe155f792bdd8665b27 /pkgs/desktops/gnome/extensions/update-extensions.py | |
parent | 4f293b20a8572b8f3db6bd433b21d37be59e54e6 (diff) | |
download | nixpkgs-73e71f2ef9ba1cd1ccf4d0cea2009818d41dab89.tar nixpkgs-73e71f2ef9ba1cd1ccf4d0cea2009818d41dab89.tar.gz nixpkgs-73e71f2ef9ba1cd1ccf4d0cea2009818d41dab89.tar.bz2 nixpkgs-73e71f2ef9ba1cd1ccf4d0cea2009818d41dab89.tar.lz nixpkgs-73e71f2ef9ba1cd1ccf4d0cea2009818d41dab89.tar.xz nixpkgs-73e71f2ef9ba1cd1ccf4d0cea2009818d41dab89.tar.zst nixpkgs-73e71f2ef9ba1cd1ccf4d0cea2009818d41dab89.zip |
gnomeExtensions: Update for GNOME 43
Diffstat (limited to 'pkgs/desktops/gnome/extensions/update-extensions.py')
-rwxr-xr-x | pkgs/desktops/gnome/extensions/update-extensions.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/desktops/gnome/extensions/update-extensions.py b/pkgs/desktops/gnome/extensions/update-extensions.py index 9117ea27040..edbfca1b62f 100755 --- a/pkgs/desktops/gnome/extensions/update-extensions.py +++ b/pkgs/desktops/gnome/extensions/update-extensions.py @@ -18,6 +18,7 @@ supported_versions = { "40": "40", "41": "41", "42": "42", + "43": "43", } # Some type alias to increase readability of complex compound types |