From e1b85bbdaa36bf1f34750e486403dbf3dc193e72 Mon Sep 17 00:00:00 2001
From: Quentin Dufour <quentin.dufour@inria.fr>
Date: Mon, 16 Sep 2019 14:22:22 +0000
Subject: [PATCH] Add missing dockerignore

---
 .dockerignore | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 .dockerignore

diff --git a/.dockerignore b/.dockerignore
new file mode 100644
index 0000000..dca1d1b
--- /dev/null
+++ b/.dockerignore
@@ -0,0 +1 @@
+scripts/out*