A native tool for browsing, installing, and managing GNOME Shell Extensions | |
https://mattjakeman.com/apps/extension-manager | |
extension-manager-9999 | GPL-3+ |
download~amd64 | guru |
extension-manager-0.5.1 | GPL-3+ |
download~amd64 | guru |
extension-manager-0.5.0 | GPL-3+ |
download~amd64 | guru |