Luca Frosini 4cb88b0e76 Redesigning REST interface		2019-08-02 18:57:26 +02:00
distro	Upgraded version and changelog after release 4.10.0 refs #10871.	2018-02-15 15:53:51 +00:00
src	Redesigning REST interface	2019-08-02 18:57:26 +02:00
.classpath	Setting the default workspace JDK as project JDK	2019-04-23 14:01:45 +00:00
.gitignore	Ignored generated target directory	2019-07-26 14:49:18 +02:00
.project	refs #521: Support Unscheduling of repetitive task on SmartExecutor	2015-11-30 11:29:13 +00:00
pom.xml	Switched maven parent from 1.0.0 to 1.1.0-SNAPSHOT	2019-07-26 14:49:18 +02:00