Andrea Cavalli abfd6c162f Update dockerfile

2020-10-04 14:23:37 +02:00

..

docker

Update dockerfile

2020-10-04 14:23:37 +02:00

scripts

Update compile.sh and setup_workspace.sh

2020-10-04 14:19:53 +02:00