Skip to content

GitLab

Commit f9bee86a authored by Ralf Jung's avatar Ralf Jung
Browse files

.gitignore

parent d4c7170c
Hide whitespace changes
Inline Side-by-side
.gitignore
View file @ f9bee86a
...@@ -13,3 +13,4 @@ Makefile.coq ...@@ -13,3 +13,4 @@ Makefile.coq
Makefile.coq.conf Makefile.coq.conf
.coq-native/ .coq-native/
build-dep build-dep
_opam
Supports Markdown
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