Jorge Aparicio e441058be7 ci/run.sh: remove debug stuff há 8 anos atrás
..
docker 213d929f86 drop the target files há 8 anos atrás
run-docker.sh d0a57cb871 give Xargo a $HOME há 8 anos atrás
run.sh e441058be7 ci/run.sh: remove debug stuff há 8 anos atrás