summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorLubosz Sarnecki2019-09-20 10:01:43 +0200
committerLubosz Sarnecki2019-09-20 10:01:43 +0200
commit465b513b7dfd4a0d3a07efe7e61fe6f43d1d5d0e (patch)
tree4f7f8577237ba22bf74870cf89cbbb73f191cc5a /PKGBUILD
parent2b642223796beb13a153411675dbbba87deea317 (diff)
downloadaur-465b513b7dfd4a0d3a07efe7e61fe6f43d1d5d0e.tar.gz
Update to 0.13.0.
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD2
1 files changed, 1 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 0a672afc8c6c..40fe68311084 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
basename=gnome-shell-extension-xrdesktop
pkgname=$basename-git
-pkgver=0.12.1.21.76c46ea
+pkgver=0.13.0.23.aee295a
pkgrel=1
pkgdesc="An extension for toggling xrdesktop mode in GNOME Shell."
url="https://gitlab.freedesktop.org/xrdesktop/gnome-shell-extension-xrdesktop"