Andrea Cavalli 3d6bd59f55 Update Jenkinsfile and setup_workspace.sh		2020-10-04 18:07:07 +02:00
..
compile.sh	Update compile.sh	2020-10-04 17:51:39 +02:00
deliver.sh	Update Jenkinsfile, deliver.sh, and 2 more files...	2020-10-03 11:34:56 +02:00
setup_variables.sh	Update dockerfile and setup_variables.sh	2020-10-04 14:15:02 +02:00
setup_workspace.sh	Update Jenkinsfile and setup_workspace.sh	2020-10-04 18:07:07 +02:00