Jorge Aparicio 6da988a43a by default, mark this crate as the #![compiler_builtins] crate ...

as this is how most users will want to use this crate

2016-12-11 16:18:43 -05:00

..

docker

CI: use Xargo 0.2.x

2016-11-23 12:47:42 -05:00

run-docker.sh

give Xargo a $HOME

2016-09-30 20:21:15 -05:00

run.sh

by default, mark this crate as the #![compiler_builtins] crate

2016-12-11 16:18:43 -05:00