From: Jérôme Benoit 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 --- 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