X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/e5552e34f62e4d8f39040419999b3395879f36c0..4ecbf362e0d1d0abb9a7f0e9af8322472f28f7d1:/.gitignore 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*