Commit d46af7d1 authored by Armaël Guéneau's avatar Armaël Guéneau

Update .gitignore

parent 3fa34e62
......@@ -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