Use repo.argeo.org. Improve build and javadoc generation.
authormbaudier <mbaudier@europe>
Wed, 11 Jul 2018 19:07:44 +0000 (21:07 +0200)
committermbaudier <mbaudier@europe>
Wed, 11 Jul 2018 19:07:44 +0000 (21:07 +0200)
commit70427e16e3e9cf1de4c8aebd91d5da5a10e8dcc0
tree8d1bcd9c8e101190a84748217007b0399bd6bd9f
parent80d44fdc8cf2fa1232563655d783c8eb2818a386
Use repo.argeo.org. Improve build and javadoc generation.
pom.xml