diff --git a/docker/devel/Dockerfile b/docker-files/devel/Dockerfile similarity index 100% rename from docker/devel/Dockerfile rename to docker-files/devel/Dockerfile diff --git a/docker/master/Dockerfile b/docker-files/master/Dockerfile similarity index 100% rename from docker/master/Dockerfile rename to docker-files/master/Dockerfile