Commit d9f6496a authored by nobody's avatar nobody
Browse files

update .gitignore

parent 3b2280da
......@@ -17,6 +17,8 @@
*.v.d
*.vio
*.vo
*.vok
*.vos
.coq-native/
.csdp.cache
.lia.cache
......
Supports Markdown
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