Yirmiuc / gnome-shell-extension-manager

Utility for managing GNOME Shell Extensions

•     Debian GNOME Maintainers
•     [email protected]
•     https://github.com/mjakeman/extension-manager
•     0.4.0-1
•     gnome-shell-extension-manager_0.4.0-1_amd64.deb
•     107.3 KiB
•     gnome
•     amd64
•      gnome-shell-extension-manager_0.4.0-1.debian.tar.xz
            gnome-shell-extension-manager_0.4.0-1.dsc
            gnome-shell-extension-manager_0.4.0.orig.tar.gz
•     Debian Versiyonu: 0.4.0-1
•     Utility for managing GNOME Shell Extensions