diff options
author | Lubosz Sarnecki | 2019-09-20 10:01:43 +0200 |
---|---|---|
committer | Lubosz Sarnecki | 2019-09-20 10:01:43 +0200 |
commit | 465b513b7dfd4a0d3a07efe7e61fe6f43d1d5d0e (patch) | |
tree | 4f7f8577237ba22bf74870cf89cbbb73f191cc5a /PKGBUILD | |
parent | 2b642223796beb13a153411675dbbba87deea317 (diff) | |
download | aur-465b513b7dfd4a0d3a07efe7e61fe6f43d1d5d0e.tar.gz |
Update to 0.13.0.
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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" |