From 1cc33c07fa8572d1575692ec123da9319a35ebcc Mon Sep 17 00:00:00 2001 From: Jeremy Soller Date: Mon, 14 Aug 2017 15:46:43 -0600 Subject: [PATCH] Move Redox Dockerfile to disabled directory :( --- src/ci/docker/{ => disabled}/dist-x86_64-redox/Dockerfile | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename src/ci/docker/{ => disabled}/dist-x86_64-redox/Dockerfile (100%) diff --git a/src/ci/docker/dist-x86_64-redox/Dockerfile b/src/ci/docker/disabled/dist-x86_64-redox/Dockerfile similarity index 100% rename from src/ci/docker/dist-x86_64-redox/Dockerfile rename to src/ci/docker/disabled/dist-x86_64-redox/Dockerfile