Examples Makefile.
[Faustine.git] / .gitignore
index 734c5ac..11020ed 100644 (file)
@@ -7,7 +7,6 @@ gmon.out
 *~
 parser.ml
 lexer.ml
-*.mli
 .depend*
 output*.wav
 output*.csv