From 46ca89d186871dd5d3e31433bc0997e0cbb61d0f Mon Sep 17 00:00:00 2001 From: Devan Carpenter Date: Sun, 23 Dec 2018 03:45:56 -0600 Subject: [PATCH] contrib: Move Dockerfile to appropriate dir Dockerfile was moved into the root directory incorrectly. This commit moves it into the "docker" directory, alongside its associated assets. --- contrib/{ => docker}/Dockerfile | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename contrib/{ => docker}/Dockerfile (100%) diff --git a/contrib/Dockerfile b/contrib/docker/Dockerfile similarity index 100% rename from contrib/Dockerfile rename to contrib/docker/Dockerfile -- 2.25.1