debris 7393de94f7 docker uses rustup, fixes #1337		2016-06-20 11:02:31 +02:00
..
ubuntu	docker uses rustup, fixes #1337	2016-06-20 11:02:31 +02:00
ubuntu-arm	docker uses rustup, fixes #1337	2016-06-20 11:02:31 +02:00
ubuntu-dev	docker uses rustup, fixes #1337	2016-06-20 11:02:31 +02:00
ubuntu-jit	docker uses rustup, fixes #1337	2016-06-20 11:02:31 +02:00