Andrea Cavalli 641211fd37 Fix		2020-10-05 00:32:38 +02:00
..
compile.sh	Fix	2020-10-05 00:32:38 +02:00
deliver.sh	Update Jenkinsfile, deliver.sh, and 2 more files...	2020-10-03 11:34:56 +02:00
setup_variables.sh	Cleanup	2020-10-05 00:19:18 +02:00
setup_workspace.sh	Cleanup	2020-10-05 00:19:18 +02:00