Luca Frosini 5cd5fc863c Ignored generated target directory		2019-07-23 10:48:42 +02:00
distro	Upgraded version after release 4.13.0 refs #12381	2018-11-21 10:29:44 +00:00
src	fixed test	2018-03-02 16:01:03 +00:00
.classpath	Setting the default workspace JDK as project JDK	2019-04-23 10:36:46 +00:00
.gitignore	Ignored generated target directory	2019-07-23 10:48:42 +02:00
.project	Changed maven artifactID. Renamed project	2016-01-29 14:55:25 +00:00
pom.xml	Switched maven parent from 1.0.0 to 1.1.0-SNAPSHOT	2019-07-23 10:48:42 +02:00