diff pom.xml @ 7:6750dab0f86e

Adding developer guide.
author "jurzua <jurzua@mpiwg-berlin.mpg.de>"
date Tue, 26 May 2015 14:05:03 +0200
parents 2ae72563a29d
children
line wrap: on
line diff