diff options
author | Julian Xhokaxhiu | 2019-04-21 18:56:19 +0200 |
---|---|---|
committer | Julian Xhokaxhiu | 2019-04-21 18:56:19 +0200 |
commit | a5edffed0fe89ea8265131ae81ebc8b74d8ffb58 (patch) | |
tree | 2909e8750ee9d7a447e2058b67045506bf1ffbbc | |
parent | 61efb22d8712a8ee562a5df63849a64a4d2acecb (diff) | |
download | aur-a5edffed0fe89ea8265131ae81ebc8b74d8ffb58.tar.gz |
Bump version
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -1,6 +1,6 @@ pkgbase = gnome-shell-extension-dash-to-panel-git pkgdesc = Extension for GNOME shell to combine the dash and main panel - pkgver = 19.r23.g30764fd + pkgver = 19.r25.g7450617 pkgrel = 1 url = https://github.com/home-sweet-gnome/dash-to-panel install = gnome-shell-extension.install @@ -3,7 +3,7 @@ # Contributor: Carl George < arch at cgtx dot us > pkgname=gnome-shell-extension-dash-to-panel-git -pkgver=19.r23.g30764fd +pkgver=19.r25.g7450617 pkgrel=1 pkgdesc='Extension for GNOME shell to combine the dash and main panel' arch=(any) |