Jan Tojnar 6613a30c5e gnomeExtensions: normalize pnames ... They should have gnome-shell-extension prefix like most other extension packages. This is what other distros listed on Repology use so Repology will be able to unify them. Exception is chrome-gnome-shell, which is estabilished under that name. (cherry picked from commit 5ba789eeca29a85144d1b611e52d09b132bedd91)		2021-06-20 08:54:10 +02:00
..
default.nix	…