|
centos
|
Adding entrypoints to docker images (#1909)
|
2016-08-12 09:18:42 +02:00 |
|
hub
|
update URLs in docker
|
2017-04-11 18:18:56 +03:00 |
|
ubuntu
|
update Dockerfile
|
2017-01-20 01:44:22 +04:00 |
|
ubuntu-aarch64
|
Update Dockerfile ubuntu-aarch64
|
2016-09-09 19:31:01 +07:00 |
|
ubuntu-arm
|
Update Ubuntu arm Dockerfile
|
2016-09-09 19:31:54 +07:00 |
|
ubuntu-dev
|
docker uses rustup, fixes #1337
|
2016-06-20 11:02:31 +02:00 |
|
ubuntu-jit
|
Adding entrypoints to docker images (#1909)
|
2016-08-12 09:18:42 +02:00 |
