zeruth a3c4144273 Update build.sh ...

whatever, just do it the easy way

2019-06-10 02:13:28 -04:00

..

build.sh

Update build.sh

2019-06-10 02:13:28 -04:00

settings.xml

Update settings.xml

2019-06-10 02:08:25 -04:00