diff options
author | Michel Zou | 2018-11-08 20:12:34 +0100 |
---|---|---|
committer | Michel Zou | 2018-11-08 20:12:34 +0100 |
commit | 83243dfc0e1e99aae12692b567f154d5da9e0522 (patch) | |
tree | ea2ba1b16c9f71fe9d4d23ad5e0ebe2b557ae683 | |
parent | 2c60397c054d3aba9342fc2ca612a8a9aea5d255 (diff) | |
download | aur-83243dfc0e1e99aae12692b567f154d5da9e0522.tar.gz |
PR153
-rw-r--r-- | PKGBUILD | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -15,6 +15,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 } build() { |