issues
search
tuberry
/
extension-list
Simple GNOME Shell extension manager in the top panel.
GNU General Public License v3.0
57
stars
8
forks
source link
Add a link to https://extensions.gnome.org/local/
#8
Closed
wojpawlik
closed
2 years ago