Cleaning the examples' Makefiles and octaves scripts.

[Faustine.git] / .gitignore

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