Adam 37ec6d0ac9 Remove distribution management

2018-05-17 19:54:50 -04:00

..

build.sh

Remove distribution management

2018-05-17 19:54:50 -04:00

settings.xml

Remove external plugin support

2018-01-25 17:03:09 -05:00