Luca Frosini e00682e4ca Switched maven parent from 1.0.0 to 1.1.0-SNAPSHOT		2019-07-24 19:46:21 +02:00
distro	Added distro directory	2017-09-26 12:41:06 +00:00
src/main	Fixed UML	2019-03-19 13:36:48 +00:00
.classpath	Setting the default workspace JDK as project JDK	2019-04-23 13:17:39 +00:00
.project	Initial import.	2017-01-30 16:23:00 +00:00
pom.xml	Switched maven parent from 1.0.0 to 1.1.0-SNAPSHOT	2019-07-24 19:46:21 +02:00