Luca Frosini 522c0e6ae6 Switched maven parent from1.0.0 to 1.1.0-SNAPSHOT		2019-07-19 17:25:50 +02:00
distro	Improved changelog	2019-02-05 13:45:37 +00:00
src	Fixing tests	2019-02-13 11:29:22 +00:00
.classpath	Setting the default workspace JDK as project JDK	2019-04-23 13:56:45 +00:00
.project	Creating Trunk Branch	2016-07-18 09:57:37 +00:00
pom.xml	Switched maven parent from1.0.0 to 1.1.0-SNAPSHOT	2019-07-19 17:25:50 +02:00