diff options
author | XZS | 2016-05-17 16:55:59 +0200 |
---|---|---|
committer | XZS | 2016-05-17 16:55:59 +0200 |
commit | a8f8200889c420f13c2a8cc8a0e3b9e41078f4c8 (patch) | |
tree | d88eb9af08bda7a2ba891c734e7a528ace86e67b | |
parent | 60ffc547ec190efaf4004881fdd6bc7accb282b4 (diff) | |
download | aur-a8f8200889c420f13c2a8cc8a0e3b9e41078f4c8.tar.gz |
propagate update
The code is already compatible to gnome-shell 3.18 without any changes,
an addition of the recent version to the manifest suffices.
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -1,7 +1,7 @@ pkgbase = gnome-shell-extension-aggregatemenu-hider-git pkgdesc = A generator for Gnome Shell extensions that hide items from the aggregate menu. pkgver = 3 - pkgrel = 2 + pkgrel = 3 url = https://github.com/dffischer/gnome-aggregatemenu-hider arch = any license = GPLv3 @@ -14,7 +14,7 @@ done pkgdesc="A generator for Gnome Shell extensions that hide items from the aggregate menu." pkgver=3 -pkgrel=2 +pkgrel=3 arch=(any) url='https://github.com/dffischer/gnome-aggregatemenu-hider' license=(GPLv3) |