From 81dac8509d1f260a0e79b65b89a2d7b420cd24c4 Mon Sep 17 00:00:00 2001
From: Guilhem Saurel <guilhem.saurel@laas.fr>
Date: Mon, 30 Jul 2018 16:49:49 +0200
Subject: [PATCH] [Docker] ignore .git

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

diff --git a/.dockerignore b/.dockerignore
index d7ed5bf..1490c2d 100644
--- a/.dockerignore
+++ b/.dockerignore
@@ -1,2 +1,3 @@
 prefix
 build
+.git
-- 
GitLab