From: Jérôme Benoit <jerome.benoit@piment-noir.org>
Date: Mon, 12 Feb 2018 11:25:38 +0000 (+0100)
Subject: Refine .gitignore.
X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=4b027192151451c4218def347e9d56e95858bc08;p=TD_SE.git

Refine .gitignore.

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

diff --git a/.gitignore b/.gitignore
index 435d966..bd64e52 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,6 @@
+philosophe/philosophe
+prodcons/prodcons
+
 *.static
 *.dynamic
 # for cygwin