diff --git a/.dockerignore b/.dockerignore new file mode 100644 index 000000000..41e32b82d --- /dev/null +++ b/.dockerignore @@ -0,0 +1 @@ +# please exclude files that are not necessary for building the docker image...