diff options
author | Mohammadreza Abdollahzadeh | 2019-01-13 20:52:40 +0330 |
---|---|---|
committer | Mohammadreza Abdollahzadeh | 2019-01-13 20:52:40 +0330 |
commit | f094065f41f1dc8ba523bce78c42ee53ed4300bd (patch) | |
tree | 8638e45eaa2fbb08819acdaa0ff6cb836f5acaf8 | |
parent | 75d75d6e97feb0f5b4fd5928397279286096fbe3 (diff) | |
download | aur-f094065f41f1dc8ba523bce78c42ee53ed4300bd.tar.gz |
update to v18
-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 = 17.r1.gdb1e918 + pkgver = 18.r9.g6b78ada 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=17.r1.gdb1e918 +pkgver=18.r9.g6b78ada pkgrel=1 pkgdesc='Extension for GNOME shell to combine the dash and main panel' arch=(any) |