Use repo.argeo.org. Improve build and javadoc generation.
authormbaudier <mbaudier@europe>
Wed, 11 Jul 2018 19:08:25 +0000 (21:08 +0200)
committermbaudier <mbaudier@europe>
Wed, 11 Jul 2018 19:08:25 +0000 (21:08 +0200)
commitfc9cdc98e1e17f46ab060a525e8d6c3712d9f27a
tree7c5b5112aecf2d94c807828b566410af057e3d51
parent89f00aa5a7c2953148b7d74504cdb1cfe90ef8e0
Use repo.argeo.org. Improve build and javadoc generation.
pom.xml