Jorge Aparicio fd69beba29 get profile.dev (-debug-assertions) + LTO working 8 jaren geleden
..
docker 213d929f86 drop the target files 8 jaren geleden
run-docker.sh d0a57cb871 give Xargo a $HOME 8 jaren geleden
run.sh fd69beba29 get profile.dev (-debug-assertions) + LTO working 8 jaren geleden