andreacavalli a80c43f324 Update 'jenkins/scripts/cross_compile.sh'		2020-10-09 10:24:50 +02:00
..
docker	Update dockerfile and cross_compile.sh	2020-10-09 02:29:37 +02:00
scripts	Update 'jenkins/scripts/cross_compile.sh'	2020-10-09 10:24:50 +02:00