Commit f5660abc authored by Ralf Jung's avatar Ralf Jung

gitignore

parent 6036000a
Pipeline #15265 passed with stage
in 14 minutes and 25 seconds
......@@ -15,3 +15,4 @@ build-dep/
Makefile.coq
Makefile.coq.conf
*.crashcoqide
_opam
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