From 184dd61175ae551139d065903099b031a35b9a33 Mon Sep 17 00:00:00 2001
From: parmentelat <thierry.parmentelat@inria.fr>
Date: Wed, 23 May 2018 23:30:20 +0200
Subject: [PATCH] add .auto* in gitignore

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

diff --git a/.gitignore b/.gitignore
index dc7667f3..936f43a2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -22,3 +22,4 @@ AA-*
 *.dbg
 *.hide
 *-sample
+.auto*
-- 
2.43.0