diff text/pom.xml.orig @ 1627:8f3951c1630d

nicer URL for Manifester servlet.
author Robert Casties <casties@mpiwg-berlin.mpg.de>
date Thu, 01 Jun 2017 21:22:39 +0200
parents 5418b39dd49f
children
line wrap: on
line diff