diff options
author | Nicola Murino | 2020-04-19 23:11:26 +0200 |
---|---|---|
committer | Nicola Murino | 2020-04-19 23:11:26 +0200 |
commit | e41f906ac7d71d8c5c0098e184f239c8671a3a7f (patch) | |
tree | 189c139d6d1b1e232ecbbba3aae52e8e1148a22d /.SRCINFO | |
parent | ccd86da5a5236b389c36793017146523ac8b8624 (diff) | |
download | aur-e41f906ac7d71d8c5c0098e184f239c8671a3a7f.tar.gz |
fix icon size
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -1,7 +1,7 @@ pkgbase = gnome-shell-extension-dash-to-dock pkgdesc = Move the dash out of the overview transforming it in a dock pkgver = 67+81+g3e1d49a - pkgrel = 1 + pkgrel = 2 url = https://micheleg.github.io/dash-to-dock/ arch = any license = GPL @@ -10,7 +10,9 @@ pkgbase = gnome-shell-extension-dash-to-dock makedepends = git depends = gnome-shell source = git+https://github.com/micheleg/dash-to-dock.git#commit=3e1d49af1876e83abd1d16baab24cb263ca53360 + source = https://patch-diff.githubusercontent.com/raw/micheleg/dash-to-dock/pull/1171.patch sha256sums = SKIP + sha256sums = 13bb4cdb9701d0311c63a96f03decbe2807b88578fe7c61344e1cfb0f28606dc pkgname = gnome-shell-extension-dash-to-dock |