diff options
author | Mohammadreza Abdollahzadeh | 2018-12-28 08:45:58 +0330 |
---|---|---|
committer | Mohammadreza Abdollahzadeh | 2018-12-28 08:45:58 +0330 |
commit | 75d75d6e97feb0f5b4fd5928397279286096fbe3 (patch) | |
tree | c9826e400ff17108ba3d5df8df67d13d48a10dfd | |
parent | f0951d06d9fad23e5b8eb5bc6266714288fa1eba (diff) | |
download | aur-75d75d6e97feb0f5b4fd5928397279286096fbe3.tar.gz |
update to v17
-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 = 16.r65.g425ad3f + pkgver = 17.r1.gdb1e918 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=16.r65.g425ad3f +pkgver=17.r1.gdb1e918 pkgrel=1 pkgdesc='Extension for GNOME shell to combine the dash and main panel' arch=(any) |