From 785ddf12db880a7115978eee75032878d6e4d143 Mon Sep 17 00:00:00 2001
From: Thomas Dehaeze <dehaeze.thomas@gmail.com>
Date: Mon, 3 Aug 2020 15:47:01 +0200
Subject: [PATCH] Update gitignore

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

diff --git a/.gitignore b/.gitignore
index fdf71f9..0cadd73 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
 auto/
+.auctex-auto/
 *.tex
 
 nohup.out