diff options
author | Lubosz Sarnecki | 2019-11-21 12:50:49 +0100 |
---|---|---|
committer | Lubosz Sarnecki | 2019-11-21 12:50:49 +0100 |
commit | 97adc64e333bf2d2e736c0528441e58ceec9e844 (patch) | |
tree | bf558ac15caf7ae1842ac279aae60c6ab6eb3d02 /PKGBUILD | |
parent | 465b513b7dfd4a0d3a07efe7e61fe6f43d1d5d0e (diff) | |
download | aur-97adc64e333bf2d2e736c0528441e58ceec9e844.tar.gz |
Update to 0.13.2.
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.13.0.23.aee295a +pkgver=0.13.2.24.eabc396 pkgrel=1 pkgdesc="An extension for toggling xrdesktop mode in GNOME Shell." url="https://gitlab.freedesktop.org/xrdesktop/gnome-shell-extension-xrdesktop" |