Ignore .coq-native

This commit is contained in:
Adam Chlipala 2016-02-22 10:36:30 -05:00
parent 53bf09c416
commit 06b5592c89

1
.gitignore vendored
View file

@ -14,3 +14,4 @@ Makefile.coq
*.v.d
*.vo
frap.tgz
.coq-native