ignore src/session/xml.ml

parent bc1fd35e
......@@ -152,6 +152,9 @@ why3.conf
# /src/util/
/src/util/rc.ml
# /src/session
/src/session/xml.ml
# /tests/
/tests/test-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