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