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

No differences found