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 | |
parent | 465b513b7dfd4a0d3a07efe7e61fe6f43d1d5d0e (diff) | |
download | aur-97adc64e333bf2d2e736c0528441e58ceec9e844.tar.gz |
Update to 0.13.2.
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 2 |
2 files changed, 2 insertions, 4 deletions
@@ -1,8 +1,6 @@ -# Generated by mksrcinfo v8 -# Fri Sep 20 08:01:33 UTC 2019 pkgbase = gnome-shell-extension-xrdesktop-git pkgdesc = An extension for toggling xrdesktop mode in GNOME Shell. - pkgver = 0.13.0.23.aee295a + pkgver = 0.13.2.24.eabc396 pkgrel = 1 url = https://gitlab.freedesktop.org/xrdesktop/gnome-shell-extension-xrdesktop arch = any @@ -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" |