comparison doc/pom.xml @ 1687:dce010b1105c

small fixes.
author Robert Casties <casties@mpiwg-berlin.mpg.de>
date Mon, 26 Mar 2018 19:10:36 +0200
parents c1e50875a6a3
children f6f0fd16c8e2 93b59a801711
comparison
equal deleted inserted replaced
1686:e46756f0d661 1687:dce010b1105c