diff doc/pom.xml @ 1676:fa7855d377a9

small fixes.
author Robert Casties <casties@mpiwg-berlin.mpg.de>
date Wed, 31 Jan 2018 19:51:02 +0100
parents c1e50875a6a3
children f6f0fd16c8e2 93b59a801711
line wrap: on
line diff