generated files in src/parser/ to be ignored

parent 90900dac
......@@ -197,6 +197,8 @@ pvsbin/
/src/parser/parser.ml
/src/parser/parser.mli
/src/parser/parser.conflicts
/src/parser/handcrafted.messages.temp
/src/parser/parser_messages.ml
# /src/why3doc/
/src/why3doc/doc_lexer.ml
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment