From 16fb2d44810895e68a1fcfff2bffad5db11b3354 Mon Sep 17 00:00:00 2001
From: Matthieu Dubuget <matthieu.dubuget@gmail.com>
Date: Sat, 9 Feb 2019 14:59:54 +0100
Subject: [PATCH] GITIGNORE tweak

---
 .gitignore | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index d7d825b..886f00f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
 *~
 *.log
 *.out
-*.aux
\ No newline at end of file
+*.aux
+auto
\ No newline at end of file