From a23dc44642016733946d01529a9b86b2100b331f Mon Sep 17 00:00:00 2001
From: Laurent Modolo <laurent.modolo@ens-lyon.fr>
Date: Tue, 5 Jun 2018 15:03:56 +0200
Subject: [PATCH] doc/ ignore .pdf files

---
 doc/.gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/.gitignore b/doc/.gitignore
index e69de29..a136337 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -0,0 +1 @@
+*.pdf
-- 
GitLab