Luca Frosini 1292d0e50a Ignored generated target directory		2019-07-24 19:13:32 +02:00
.settings	Setting the default workspace JDK as project JDK	2019-04-23 13:14:34 +00:00
META-INF	Renamed property defaultValue	2016-09-16 14:21:55 +00:00
distro	Upgraded version and changelog after release 4.13.1	2019-02-26 15:16:50 +00:00
src	Fixed validator	2019-01-08 15:45:23 +00:00
.classpath	Setting the default workspace JDK as project JDK	2019-04-23 13:14:34 +00:00
.gitignore	Ignored generated target directory	2019-07-24 19:13:32 +02:00
.project	Initial import.	2016-06-07 13:42:14 +00:00
pom.xml	Switched maven parent from 1.0.0 to 1.1.0-SNAPSHOT	2019-07-24 19:13:32 +02:00