Andrea Cavalli 965de64877 Static compilation		2020-10-09 21:07:02 +02:00
..
compile.sh	Static compilation	2020-10-09 21:07:02 +02:00
deliver.sh	Update Jenkinsfile, deliver.sh, and 3 more files...	2020-10-03 11:35:48 +02:00
setup_variables.sh	Optimization	2020-10-06 20:03:39 +02:00
setup_workspace.sh	Optimization	2020-10-06 20:03:39 +02:00