update configure
authorNiki Roo <niki@nikiroo.be>
Sat, 18 May 2019 13:24:29 +0000 (15:24 +0200)
committerNiki Roo <niki@nikiroo.be>
Sat, 18 May 2019 13:24:29 +0000 (15:24 +0200)
commit6da54ed316019f2d997a6eb854e36f70edd08c0e
treec6270c4149efb00d7595d90eb093333b19212840
parent3be7124ed1c3c7f39d0b6c180eb85bfb38fd7034
update configure
configure.sh