diff common/pom.xml @ 1714:d497eb11141c default tip

updated travis-ci config for automatic WAR releases.
author Robert Casties <casties@mpiwg-berlin.mpg.de>
date Mon, 18 Feb 2019 20:49:15 +0100
parents dbe534cdb5f6
children
line wrap: on
line diff