From: Jérôme Benoit <jerome.benoit@piment-noir.org>
Date: Fri, 11 Jan 2019 12:31:46 +0000 (+0100)
Subject: Refine .gitignore.
X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=3afafeb78aea16f0795afd279182277dd80acfe6;hp=3afafeb78aea16f0795afd279182277dd80acfe6;p=Algorithmic_C.git

Refine .gitignore.

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