diff options
author | Jonian Guveli | 2018-04-14 21:03:20 +0300 |
---|---|---|
committer | Jonian Guveli | 2018-04-14 21:03:20 +0300 |
commit | 6be941cde3bb89084d53e0e2b0f829a0fe934b6b (patch) | |
tree | a379c83eb206112aeb0c794b089fc6c52da81403 /.SRCINFO | |
parent | 1ad1ffb1d17bac6fda662a73e000c8993b9a5565 (diff) | |
download | aur-6be941cde3bb89084d53e0e2b0f829a0fe934b6b.tar.gz |
optimize source
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 4 |
1 files changed, 1 insertions, 3 deletions
@@ -1,5 +1,3 @@ -# Generated by mksrcinfo v8 -# Sat Oct 7 02:41:06 UTC 2017 pkgbase = gedit-panel-toggler pkgdesc = Gedit 3 plugin to toggle side and bottom panels using buttons in header bar pkgver = 0.2.0 @@ -8,7 +6,7 @@ pkgbase = gedit-panel-toggler arch = any license = GPL depends = gedit - source = gedit-panel-toggler::https://github.com/hardpixel/gedit-panel-toggler/archive/0.2.0.tar.gz + source = gedit-panel-toggler-0.2.0::https://github.com/hardpixel/gedit-panel-toggler/archive/0.2.0.tar.gz md5sums = 5722f7213f2b69b0ea3488c8a4794a44 pkgname = gedit-panel-toggler |