Add .native

JasonGross · web-flow · commit 6615075fe4ad · 2016-10-11T17:21:20.000-04:00
diff --git a/Coq.gitignore b/Coq.gitignore
@@ -10,6 +10,7 @@
 *.ml.d
 *.ml4.d
 *.mli.d
+*.native
 *.o
 *.v.d
 *.vio

-Original file line number
+Diff line change
 *.ml.d
 *.ml4.d
 *.mli.d
 +*.native
 *.o
 *.v.d
 *.vio