diff options
author | Mohammadreza Abdollahzadeh | 2018-03-06 19:51:58 +0330 |
---|---|---|
committer | Mohammadreza Abdollahzadeh | 2018-03-06 19:51:58 +0330 |
commit | 5935a07ad844fb689b81b8ae9ee6406b02e11bce (patch) | |
tree | 6b667879c280d89feed5245d125b9bb4d489846c | |
parent | ccc7e0c1d7317d7d93afea07e0874f1cc741870c (diff) | |
download | aur-5935a07ad844fb689b81b8ae9ee6406b02e11bce.tar.gz |
update to v13
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -1,6 +1,6 @@ pkgbase = gnome-shell-extension-dash-to-panel-git pkgdesc = Extension for GNOME shell to combine the dash and main panel - pkgver = 12.r0.gf9b6f53 + pkgver = 13.r0.ga460d28 pkgrel = 1 url = https://github.com/jderose9/dash-to-panel install = gnome-shell-extension.install @@ -3,7 +3,7 @@ # Contributor: Carl George < arch at cgtx dot us > pkgname=gnome-shell-extension-dash-to-panel-git -pkgver=12.r0.gf9b6f53 +pkgver=13.r0.ga460d28 pkgrel=1 pkgdesc='Extension for GNOME shell to combine the dash and main panel' arch=(any) |