updated .gitignore

parent dc4dc47d
......@@ -138,14 +138,6 @@ why3.conf
/src/parser/parser.mli
/src/parser/parser.output
# /src/tptp2why/
/src/tptp2why/tptpLexer.ml
/src/tptp2why/tptpParser.ml
/src/tptp2why/tptpParser.mli
/src/tptp2why/tptpParser.output
/src/tptp2why/tptpParser.automaton
/src/tptp2why/tptpParser.conflicts
# /src/ide/
/src/ide/xml.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