diff options
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 2 |
2 files changed, 3 insertions, 3 deletions
@@ -1,8 +1,8 @@ # Generated by mksrcinfo v8 -# Tue Apr 12 18:24:22 UTC 2016 +# Wed May 4 16:19:52 UTC 2016 pkgbase = gnome-shell-extension-extensions-git pkgdesc = Extensions which allows to enable and disable extensions via a menu in the status area in the main menu panel. - pkgver = r11.4655786 + pkgver = r13.f0368e9 pkgrel = 1 url = https://github.com/petres/gnome-shell-extension-extensions arch = any @@ -2,7 +2,7 @@ pkgname=gnome-shell-extension-extensions-git _pkgname=${pkgname%-git} -pkgver=r11.4655786 +pkgver=r13.f0368e9 pkgrel=1 pkgdesc="Extensions which allows to enable and disable extensions via a menu in the status area in the main menu panel." arch=('any') |