diff options
| author | Jason Gross <jasongross9@gmail.com> | 2016-10-11 17:21:20 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-11 17:21:20 -0400 |
| commit | 6615075fe4add11e8374573fe53b778cf2883ded (patch) | |
| tree | 70b1effe97fa0673b29bb803170fb766c3511150 | |
| parent | 46d36eb78f4f14b9bc941b3aa72ac9d1092efd04 (diff) | |
| download | gitignore-6615075fe4add11e8374573fe53b778cf2883ded.tar.gz gitignore-6615075fe4add11e8374573fe53b778cf2883ded.zip | |
Add .native
| -rw-r--r-- | Coq.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Coq.gitignore b/Coq.gitignore index ad9b23e2..a3cb78ee 100644 --- a/Coq.gitignore +++ b/Coq.gitignore @@ -10,6 +10,7 @@ *.ml.d *.ml4.d *.mli.d +*.native *.o *.v.d *.vio |