andreacavalli d0d6c04c54 Update 'jenkins/scripts/setup_variables.sh'		2020-10-09 10:23:28 +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:23:28 +02:00