diff options
author | Julian Xhokaxhiu | 2019-03-07 16:52:31 +0100 |
---|---|---|
committer | Julian Xhokaxhiu | 2019-03-07 16:52:31 +0100 |
commit | 94778c103c97973687c6aabc12a0c7d0c9cfa7ad (patch) | |
tree | 07db422c0c3a7b92e6f72bb5c130f1771b0a0a83 /PKGBUILD | |
parent | 67f0e08073fb6c5989480396c64813f63b72c8d1 (diff) | |
download | aur-94778c103c97973687c6aabc12a0c7d0c9cfa7ad.tar.gz |
Bump version
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -3,8 +3,8 @@ # Contributor: Carl George < arch at cgtx dot us > pkgname=gnome-shell-extension-dash-to-panel-git -pkgver=18.r39.g83158d5 -pkgrel=2 +pkgver=18.r42.g3b7d0e0 +pkgrel=1 pkgdesc='Extension for GNOME shell to combine the dash and main panel' arch=(any) _githubname=dash-to-panel |