aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/.dockerignore
diff options
context:
space:
mode:
Diffstat (limited to '.dockerignore')
-rw-r--r--.dockerignore1
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/**