Commit 3d7828ba authored by Glen Mével's avatar Glen Mével

Update .gitignore

parent e0b0748c
......@@ -5,6 +5,7 @@ Makefile.coq
*.glob
*.vo
*.vio
.coqdeps.d
.lia.cache
*.tar.gz
*.sw[po]
......
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