Browsing tag: extension manager  

Extension Shortcuts

Easily manage GNOME-Shell extensions with this add-on for GNOME 3

Dec 17th 2012, 14:48 GMT