Add .native

6615075f · Jason Gross · GitHub · 46d36eb7 · 6615075f
Commit 6615075f authored Oct 11, 2016 by Jason Gross Committed by GitHub Oct 11, 2016
Show whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

Coq.gitignore Coq.gitignore +1 -0

No files found.
--- a/Coq.gitignore
+++ b/Coq.gitignore
@@ -10,6 +10,7 @@
 *.ml.d
 *.ml4.d
 *.mli.d
+*.native
 *.o
 *.v.d
 *.vio