From 7e8d4e07bd846683253c04f1670841cf85a2aa19 Mon Sep 17 00:00:00 2001 From: prance Date: Mon, 31 Jan 2022 19:29:49 +0100 Subject: [PATCH] move docker-related files to separate folder to avoid sending GBs of data to docker daemon --- Dockerfile => docker/Dockerfile | 0 muor-openrefine.patch => docker/muor-openrefine.patch | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename Dockerfile => docker/Dockerfile (100%) rename muor-openrefine.patch => docker/muor-openrefine.patch (100%) diff --git a/Dockerfile b/docker/Dockerfile similarity index 100% rename from Dockerfile rename to docker/Dockerfile diff --git a/muor-openrefine.patch b/docker/muor-openrefine.patch similarity index 100% rename from muor-openrefine.patch rename to docker/muor-openrefine.patch