From 17863439bd15469fd8481fb33c9f33c234e0ea02 Mon Sep 17 00:00:00 2001
From: Laurent Modolo <laurent.modolo@ens-lyon.fr>
Date: Fri, 25 May 2018 15:21:36 +0200
Subject: [PATCH] add doc directory

---
 doc/.gitignore | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 doc/.gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
new file mode 100644
index 0000000..e69de29
-- 
GitLab