X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/e5552e34f62e4d8f39040419999b3395879f36c0..152d05a95ca7cdb29bc24bcee3c7ebb70e90aab7:/.gitignore?ds=inline

diff --git a/.gitignore b/.gitignore
index 93730f5..bb12dc2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,3 +5,9 @@ gmon.out
 ouput_sounds/output* # default names
 /Makefile # only in the current directory, because Makefile.in is sufficient
 *.svg
+*.cm[iox]
+*~
+parser.ml
+lexer.ml
+*.mli
+.depend*