Jorge Aparicio e2fc5a0771 merge apt-get commands 8 anos atrás
..
docker e2fc5a0771 merge apt-get commands 8 anos atrás
run-docker.sh d0a57cb871 give Xargo a $HOME 8 anos atrás
run.sh 5d164a4eda fix the powerpc64le target 8 anos atrás