Jan Tojnar 21479050bc gnome.gnome-shell-extensions: 40.0 → 40.1 ...

Also clean up the expression:

- Remove spidermonkey dependency – it was only used for syntax checks and is not anymore (8fb5476a1c)
- Correct license
- Code formatting

2021-05-14 18:52:01 +02:00

..

default.nix

…

fix_gmenu.patch

…