diff options
author | Amin Vakil | 2021-10-18 16:35:07 +0330 |
---|---|---|
committer | Amin Vakil | 2021-10-18 16:35:07 +0330 |
commit | 7b6703ab923b18f0320effc85ecd415f2a4a14f2 (patch) | |
tree | 9473127f3bbecf58f157b2539a4b1c61edd7ca42 | |
parent | a88026d70b20d48b4e88763eb87554a05a405e58 (diff) | |
download | aur-7b6703ab923b18f0320effc85ecd415f2a4a14f2.tar.gz |
upgpkg: gnome-shell-extension-dash-to-dock-git 70.r0.g8dbf454-1
FYI This is a git package and I know this commit is unnecessary.
This is just for clarification.
-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-dock-git pkgdesc = move the dash out of the overview transforming it in a dock - pkgver = 69.r118.g9605dd6 + pkgver = 70.r0.g8dbf454 pkgrel = 1 url = https://micheleg.github.io/dash-to-dock/ arch = any @@ -6,7 +6,7 @@ _srcname=dash-to-dock pkgname=gnome-shell-extension-dash-to-dock-git -pkgver=69.r118.g9605dd6 +pkgver=70.r0.g8dbf454 pkgrel=1 pkgdesc="move the dash out of the overview transforming it in a dock" arch=('any') |