update configure
authorNiki Roo <niki@nikiroo.be>
Sat, 18 May 2019 13:24:33 +0000 (15:24 +0200)
committerNiki Roo <niki@nikiroo.be>
Sat, 18 May 2019 13:24:33 +0000 (15:24 +0200)
commit5179205f06ac135a3103e5ecba8cc1c7c7245c71
tree4eb644051ddf704806f54d9f7f3807ac8553483e
parent588482461fe2fa6bb43f85e757d4d8bc5003f394
update configure
configure.sh