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