From 21c97c89145ce71787a8df492e2b2c6323bab67c Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Thu, 11 Dec 2014 09:54:27 +0100
Subject: [PATCH] ignore .du files

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

diff --git a/.gitignore b/.gitignore
index ef1f2757..c5efa209 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,3 +2,4 @@
 infra.key
 infra.png
 TAGS
+.du
-- 
2.43.0