diff options
author | petres | 2016-05-04 18:20:29 +0200 |
---|---|---|
committer | petres | 2016-05-04 18:20:29 +0200 |
commit | aebd79fdb2e6a4e750843c3f774d537797495e02 (patch) | |
tree | 8939851b89dc35dc644ae67ff7b2932740175485 | |
parent | df9a4f3d4d4405f17dd54853b23db29155eaac41 (diff) | |
download | aur-aebd79fdb2e6a4e750843c3f774d537797495e02.tar.gz |
update (alphabetically ordered)
-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') |