From 4b027192151451c4218def347e9d56e95858bc08 Mon Sep 17 00:00:00 2001
From: =?utf8?q?J=C3=A9r=C3=B4me=20Benoit?= <jerome.benoit@piment-noir.org>
Date: Mon, 12 Feb 2018 12:25:38 +0100
Subject: [PATCH] Refine .gitignore.
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>
---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

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
-- 
2.34.1