From 7175636c76b379ce2a1d65b67474e72870e48549 Mon Sep 17 00:00:00 2001
From: Philippe Dosch <Philippe.Dosch@loria.fr>
Date: Tue, 5 Mar 2024 15:23:02 +0100
Subject: [PATCH] =?UTF-8?q?Nouvelle=20extension=20ignor=C3=A9e?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

diff --git a/.gitignore b/.gitignore
index 982bf1e..c8a7696 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,3 +14,4 @@ git*.pdf
 /gitrefcard.idx
 /gitrefcard.ilg
 /gitrefcard.ind
+*.xdv
-- 
GitLab