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 | |
| parent | 2b642223796beb13a153411675dbbba87deea317 (diff) | |
| download | aur-465b513b7dfd4a0d3a07efe7e61fe6f43d1d5d0e.tar.gz | |
Update to 0.13.0.
| -rw-r--r-- | .SRCINFO | 4 | ||||
| -rw-r--r-- | PKGBUILD | 2 |
2 files changed, 3 insertions, 3 deletions
@@ -1,8 +1,8 @@ # Generated by mksrcinfo v8 -# Tue Jul 30 15:36:36 UTC 2019 +# 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.12.1.21.76c46ea + pkgver = 0.13.0.23.aee295a 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.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" |