andreacavalli 3d703d7bc0 Update 'jenkins/scripts/setup_variables.sh'		2020-10-09 10:25:42 +02:00
..
docker	Update dockerfile and cross_compile.sh	2020-10-09 02:29:37 +02:00
scripts	Update 'jenkins/scripts/setup_variables.sh'	2020-10-09 10:25:42 +02:00