Add .native

author Jason Gross <jasongross9@gmail.com>

Tue, 11 Oct 2016 21:21:20 +0000 (17:21 -0400)

committer GitHub <noreply@github.com>

Tue, 11 Oct 2016 21:21:20 +0000 (17:21 -0400)
author Jason Gross <jasongross9@gmail.com>
Tue, 11 Oct 2016 21:21:20 +0000 (17:21 -0400)
committer GitHub <noreply@github.com>
Tue, 11 Oct 2016 21:21:20 +0000 (17:21 -0400)
diff --git a/Coq.gitignore b/Coq.gitignore

index ad9b23e28718b8ee5a60c15788c3d1a337625d64..a3cb78ee67d615c3e9271668d1db635161392344 100644 (file)
--- a/Coq.gitignore
+++ b/Coq.gitignore
@@ -10,6 +10,7 @@
  *.ml.d
  *.ml4.d
  *.mli.d
+*.native
  *.o
  *.v.d
  *.vio
author	Jason Gross <jasongross9@gmail.com>
	Tue, 11 Oct 2016 21:21:20 +0000 (17:21 -0400)
committer	GitHub <noreply@github.com>
	Tue, 11 Oct 2016 21:21:20 +0000 (17:21 -0400)