summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorMohammadreza Abdollahzadeh2018-03-06 19:51:58 +0330
committerMohammadreza Abdollahzadeh2018-03-06 19:51:58 +0330
commit5935a07ad844fb689b81b8ae9ee6406b02e11bce (patch)
tree6b667879c280d89feed5245d125b9bb4d489846c
parentccc7e0c1d7317d7d93afea07e0874f1cc741870c (diff)
downloadaur-5935a07ad844fb689b81b8ae9ee6406b02e11bce.tar.gz
update to v13
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD2
2 files changed, 2 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 1d1faf04faf3..2c1ecd5ee957 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index 40e202056070..f25ff3851e7a 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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)