ignored dimacs.ml

parent 6c7cedb4
......@@ -160,6 +160,7 @@ pvsbin/
/plugins/tptp/tptp_parser.ml
/plugins/tptp/tptp_parser.mli
/plugins/tptp/tptp_parser.output
/plugins/parser/dimacs.ml
# /drivers
/drivers/coq-realizations.aux
......
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