Commit 54ca2903 authored by Glen Mével's avatar Glen Mével

updated .gitignore

parent 730bff09
......@@ -6,3 +6,5 @@ Makefile.coq
*.vo
.lia.cache
*.tar.gz
*.sw[po]
\#*.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