From f14e425a5498cc1a37b32dd4fc3d1762b6b4b0e0 Mon Sep 17 00:00:00 2001
From: Arnaud Legrand <arnaud.legrand@imag.fr>
Date: Mon, 27 May 2019 17:20:03 +0200
Subject: [PATCH] Ignore this as well

---
 .gitignore | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 4a18b76..10daa1f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,12 @@
 *~
+*.aux
+*.log
+*.out
+*.mk
+*.toc
 *.tex
 *.nav
 *.snm
 *.vrb
-*.bak
\ No newline at end of file
+*.bak
+_minted-*/
\ No newline at end of file
-- 
GitLab