diff options
author | Michel Zou | 2018-11-24 09:31:35 +0100 |
---|---|---|
committer | Michel Zou | 2018-11-24 09:31:35 +0100 |
commit | c917a77ef845e99c0fd469591a88c4812c870dc9 (patch) | |
tree | b5f0661e3ae2e2b8c008bd05a2e5730f12cf0f53 | |
parent | c5a898c1a92c19d468c823b1d95125c7ef9e514f (diff) | |
download | aur-c917a77ef845e99c0fd469591a88c4812c870dc9.tar.gz |
PR156
-rw-r--r-- | PKGBUILD | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -16,6 +16,7 @@ _architectures="i686-w64-mingw32 x86_64-w64-mingw32" prepare () { cd aGrUM-$pkgver curl -L https://gitlab.com/agrumery/aGrUM/merge_requests/153.patch | patch -p1 + curl -L https://gitlab.com/agrumery/aGrUM/merge_requests/156.patch | patch -p1 } build() { |