diff .hgignore @ 534:ed829eaa91b2

Builds with Coq 8.5beta2
author Adam Chlipala <adam@chlipala.net>
date Wed, 05 Aug 2015 14:46:55 -0400
parents 136d4b84eb96
children af97676583f3
line wrap: on
line diff
--- a/.hgignore	Tue Apr 07 18:59:24 2015 -0400
+++ b/.hgignore	Wed Aug 05 14:46:55 2015 -0400
@@ -36,3 +36,4 @@
 *.pdf
 *.ind
 *.out
+src/.coq-native