Paolo Teti 6e4c12c768 Docker: remove environment variable CC_armebv7r_none_eabi ... `cc-rs` take care of selecting the tool-chain, so this ENV variable can be safely removed.		2019-05-26 19:31:40 +02:00
..
docker	Docker: remove environment variable CC_armebv7r_none_eabi	2019-05-26 19:31:40 +02:00
init_repo.sh	Final cleanups	2019-05-22 07:09:25 -07:00
run.sh	Auto merge of #60777 - pietroalbini:azure-pipelines, r=alexcrichton	2019-05-24 19:22:13 +00:00
shared.sh	Add Azure Pipelines	2019-05-10 09:46:28 +02:00