From 63bbc9607b8b8c08c39871295fd21e1cebb21b3d Mon Sep 17 00:00:00 2001
From: Arnaud Legrand <arnaud.legrand@imag.fr>
Date: Wed, 6 Feb 2019 10:56:47 +0100
Subject: [PATCH] Ignore these (LaTeX-related) files as well

---
 .gitignore | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index e4e5f6c..908327d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,9 @@
-*~
\ No newline at end of file
+*~
+*.vrb
+*.aux
+*.log
+*.nav
+*.out
+*.snm
+*.toc
+*.tex
-- 
2.18.1