Andrea Cavalli d944c837d3 Update Jenkinsfile, pom.xml, and pom.xml		2020-10-11 18:50:18 +02:00
..
.gitignore	Add gitignore	2020-10-11 16:27:29 +02:00
pom.xml	Update Jenkinsfile, pom.xml, and pom.xml	2020-10-11 18:50:18 +02:00