Commit cf02de9d authored by POTTIER Francois's avatar POTTIER Francois
parents b9567bca d46af7d1
......@@ -14,9 +14,7 @@ _CoqProject
*.cache
# CFML
*.cmj
lib/tools/cfml_cmj
lib/tools/cfml_dep
lib/tools/cfml_mlv
generator/cfml_config.ml
README.html
lib/coq/README.html
*_ml.v
......
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