1 # Generated by mksrcinfo v8
2 # Wed Oct 12 15:29:52 UTC 2016
3 pkgbase = gnome-shell-extension-extensions-git
4 pkgdesc = Extensions which allows to enable and disable extensions via a menu in the status area in the main menu panel.
7 url = https://github.com/petres/gnome-shell-extension-extensions
12 source = git+https://github.com/petres/gnome-shell-extension-extensions
15 pkgname = gnome-shell-extension-extensions-git