GitHub repository: petres/gnome-shell-extension-extensions
Primary language: JavaScript
Created: 2016-02-08T10:19:35Z
Description: gnome shell extension to enable/disable extension easily via a panel menu