Commit 25eb1239 authored by Ralf Jung's avatar Ralf Jung
Browse files

update gitignore

parent 15526ec5
......@@ -17,6 +17,7 @@ _opam
build-dep/
Makefile.coq
Makefile.coq.conf
.Makefile.coq.d
*.crashcoqide
docs/*.cp*
docs/*.pdf
......
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