From: Jérôme Benoit Date: Tue, 22 Aug 2017 19:20:08 +0000 (+0200) Subject: Refine .gitignore X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=60d5f8b217b2d6463985222d68f19edd85b2d5f5;hp=60d5f8b217b2d6463985222d68f19edd85b2d5f5;p=Algorithmic_C.git Refine .gitignore Signed-off-by: Jérôme Benoit ---