diff common-jai/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
line wrap: on
line diff