From ed1c214617806c094e39dfb5a18e4a9e63506680 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Thu, 23 Jan 2014 16:11:50 +0100
Subject: [PATCH] gitignore

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

diff --git a/.gitignore b/.gitignore
index f299d1ca..ef1f2757 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 *.norm
 infra.key
 infra.png
+TAGS
-- 
2.43.0