diff options
| author | XZS | 2016-05-17 16:57:31 +0200 |
|---|---|---|
| committer | XZS | 2016-05-17 16:57:31 +0200 |
| commit | b82cc51d197b7e7ca9f52853af88429a065576ae (patch) | |
| tree | ac4a3c87e521015462def5ab0b014cfaa73246db /PKGBUILD | |
| parent | a8f8200889c420f13c2a8cc8a0e3b9e41078f4c8 (diff) | |
| download | aur-gnome-shell-extension-aggregatemenu-hider-git.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.
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -14,7 +14,7 @@ done pkgdesc="A generator for Gnome Shell extensions that hide items from the aggregate menu." pkgver=3 -pkgrel=3 +pkgrel=4 arch=(any) url='https://github.com/dffischer/gnome-aggregatemenu-hider' license=(GPLv3) |