Commit 597a25e0 authored by Jacques-Henri Jourdan's avatar Jacques-Henri Jourdan

gitignore

parent 0d70f23e
...@@ -8,3 +8,4 @@ Makefile.coq ...@@ -8,3 +8,4 @@ Makefile.coq
*.tar.gz *.tar.gz
*.sw[po] *.sw[po]
\#*.v# \#*.v#
_opam
\ No newline at end of file
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