diff options
| author | Jeremy Soller <jackpot51@gmail.com> | 2017-08-14 15:46:43 -0600 |
|---|---|---|
| committer | Jeremy Soller <jackpot51@gmail.com> | 2017-08-14 15:46:43 -0600 |
| commit | 1cc33c07fa8572d1575692ec123da9319a35ebcc (patch) | |
| tree | 9286130580894ec287c3fbfdb80b276eea289765 | |
| parent | a3d9c367201d478905e775f6fec5848e6df95e61 (diff) | |
| download | rust-1cc33c07fa8572d1575692ec123da9319a35ebcc.tar.gz rust-1cc33c07fa8572d1575692ec123da9319a35ebcc.zip | |
Move Redox Dockerfile to disabled directory :(
| -rw-r--r-- | src/ci/docker/disabled/dist-x86_64-redox/Dockerfile (renamed from src/ci/docker/dist-x86_64-redox/Dockerfile) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/ci/docker/dist-x86_64-redox/Dockerfile b/src/ci/docker/disabled/dist-x86_64-redox/Dockerfile
index 852ae058373..852ae058373 100644
--- a/src/ci/docker/dist-x86_64-redox/Dockerfile
+++ b/src/ci/docker/disabled/dist-x86_64-redox/Dockerfile
|