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