Commit 7f4424b0 authored by Andrei Paskevich's avatar Andrei Paskevich

update .gitignore

parent 55b108ab
...@@ -155,6 +155,12 @@ why3.conf ...@@ -155,6 +155,12 @@ why3.conf
# /src/session # /src/session
/src/session/xml.ml /src/session/xml.ml
# /plugins/tptp/
/plugins/tptp/tptp_lexer.ml
/plugins/tptp/tptp_parser.ml
/plugins/tptp/tptp_parser.mli
/plugins/tptp/tptp_parser.output
# /tests/ # /tests/
/tests/test-jcf/ /tests/test-jcf/
/tests/test-pgm-jcf/ /tests/test-pgm-jcf/
......
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