From: Jérôme Benoit <jerome.benoit@piment-noir.org>
Date: Mon, 18 Dec 2017 18:55:10 +0000 (+0100)
Subject: Refine .gitignore.
X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=2da252ecd3120d6e13c28dfb2dd5d995e4329fcb;p=TD_BDD.git

Refine .gitignore.

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

diff --git a/.gitignore b/.gitignore
index 435d966..21ca3fb 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
+infovols
 *.static
 *.dynamic
 # for cygwin