From ec75c3b11bb63dcefc10cbf3f3d5de3448fb53f7 Mon Sep 17 00:00:00 2001 From: Christoph Kottke Date: Tue, 16 Apr 2024 17:48:16 +0200 Subject: [PATCH] move docker stuff into subdir --- .dockerignore | 1 - Dockerfile => docker/Dockerfile | 0 2 files changed, 1 deletion(-) rename Dockerfile => docker/Dockerfile (100%) diff --git a/.dockerignore b/.dockerignore index 4588567e0..f4b11987f 100644 --- a/.dockerignore +++ b/.dockerignore @@ -1,3 +1,2 @@ -Dockerfile .git .github diff --git a/Dockerfile b/docker/Dockerfile similarity index 100% rename from Dockerfile rename to docker/Dockerfile