Read-only mirror of https://gitlab.gnome.org/GNOME/gnome-shell
Why do you think that https://github.com/ManeLippert/gnome-shell-extension-pop-launcher-super-key is a good alternative to gnome-shell
Read-only mirror of https://gitlab.gnome.org/GNOME/gnome-shell
Why do you think that https://github.com/ManeLippert/gnome-shell-extension-pop-launcher-super-key is a good alternative to gnome-shell