gnome-shell-extensions
JavaScript
★ 1
updated 15y ago
Some random work on Gnome 3 shell extensions (the official repo is at git.gnome.org, this is just my work copy)
No plain-English explanation yet — one is being written right now. Check back in a minute.