From: Jérôme Benoit <jerome.benoit@piment-noir.org>
Date: Tue, 22 Aug 2017 19:03:23 +0000 (+0200)
Subject: Refine .gitignore
X-Git-Url: https://git.piment-noir.org/?p=TD_IML.git;a=commitdiff_plain;h=8d62a106686af166eb428a406c8f07aa54a7ff80

Refine .gitignore

Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>
---

diff --git a/.gitignore b/.gitignore
index fd3edea..d4e784c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,4 @@
-exo*
+exo[[:digit:]]
 lanceur
 balle
 *.static