petres / gnome-shell-extension-extensions

gnome shell extension to enable/disable extension easily via a panel menu
38Updated 3 years ago

Related projects

Alternatives and complementary repositories for gnome-shell-extension-extensions