From 059e8ef3c6cae1a80b141786901db7e101291813 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ole=20Sch=C3=BCtt?= Date: Tue, 8 Feb 2022 14:23:06 +0100 Subject: [PATCH] Remove old dockerignore file --- .dockerignore | 2 ++ tools/toolchain/.dockerignore | 7 ------- 2 files changed, 2 insertions(+), 7 deletions(-) delete mode 100644 tools/toolchain/.dockerignore diff --git a/.dockerignore b/.dockerignore index e73de0f05b..b7fb0934f6 100644 --- a/.dockerignore +++ b/.dockerignore @@ -5,3 +5,5 @@ regtesting tools/toolchain/install tools/toolchain/build .git* +*~ +\#*\# diff --git a/tools/toolchain/.dockerignore b/tools/toolchain/.dockerignore deleted file mode 100644 index 748d7f62e5..0000000000 --- a/tools/toolchain/.dockerignore +++ /dev/null @@ -1,7 +0,0 @@ -install -build -Dockerfile -README* -.gitignore -*~ -\#*\#