From 9d312a02f7e566f0984683cc0257294011e48e1c Mon Sep 17 00:00:00 2001 From: Robin Mueller Date: Mon, 24 May 2021 15:47:48 +0200 Subject: [PATCH] added dockerignore --- .dockerignore | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 .dockerignore diff --git a/.dockerignore b/.dockerignore new file mode 100644 index 00000000..6dfa6b9a --- /dev/null +++ b/.dockerignore @@ -0,0 +1,6 @@ +/build* +generators +misc +tmtc +doc +