diff servlet2/pom.xml @ 1708:507aa6d6bc07

release-war-on-github try number 2.
author Robert Casties <casties@mpiwg-berlin.mpg.de>
date Mon, 18 Feb 2019 20:09:07 +0100
parents f6f0fd16c8e2
children
line wrap: on
line diff