diff options
Diffstat (limited to '')
| -rw-r--r-- | .dockerignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.dockerignore b/.dockerignore index 3c0c9fc..67cae72 100644 --- a/.dockerignore +++ b/.dockerignore @@ -4,5 +4,6 @@ !/CMakeLists.txt !/LICENSE.txt !/Makefile +!/prelude.mk !/src/** !/test/** |