Andrea Cavalli a4312ac4c5 Update Jenkinsfile and dockerfile		2020-10-04 18:21:48 +02:00
..
docker	Update Jenkinsfile and dockerfile	2020-10-04 18:21:48 +02:00
scripts	Update Jenkinsfile and setup_workspace.sh	2020-10-04 18:07:07 +02:00