From: WANG Date: Mon, 16 Sep 2013 16:02:10 +0000 (+0200) Subject: Update .gitignore for the corrected name interpreter. X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/commitdiff_plain/e6396e7eae7975bd7a77aaafcd226fe850cdcff0?hp=e6396e7eae7975bd7a77aaafcd226fe850cdcff0 Update .gitignore for the corrected name interpreter. ---