From d8ea3e39bda32a61414d86407ffa27a2edb3510f Mon Sep 17 00:00:00 2001
From: Pascal Lafourcade <pascal.lafourcade@imag.fr>
Date: Thu, 13 Feb 2020 15:20:15 +0100
Subject: [PATCH] ignore

---
 EXOS/.gitignore | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 EXOS/.gitignore

diff --git a/EXOS/.gitignore b/EXOS/.gitignore
new file mode 100644
index 0000000..b5badd5
--- /dev/null
+++ b/EXOS/.gitignore
@@ -0,0 +1,17 @@
+*.backup
+*.idx
+*.bak
+*.ps
+*.pdf
+*.aux
+*.log
+*.toc
+*.nav
+*.out
+*.snm
+*.vrb
+*~
+*.dvi
+*.bbl
+*.blg
+*.swp