X-Git-Url: https://scm.cri.mines-paristech.fr/git/Faustine.git/blobdiff_plain/63cf293f572ae7d5c1c83b9dffb31e7d774f8854..6150323d86c4feb54bc8e994f7a4e52c3b34c6ec:/.gitignore?ds=inline

diff --git a/.gitignore b/.gitignore
index 734c5ac..11020ed 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,7 +7,6 @@ gmon.out
 *~
 parser.ml
 lexer.ml
-*.mli
 .depend*
 output*.wav
 output*.csv