diff options
author | Jason Gross <jasongross9@gmail.com> | 2016-10-11 17:25:39 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-11 17:25:39 -0400 |
commit | 8202fbb408af642c886b525ef7149812376cba6e (patch) | |
tree | 8c3c3920de040c1fd2627d2eb03ff91259cb7fbf /Coq.gitignore | |
parent | 6615075fe4add11e8374573fe53b778cf2883ded (diff) | |
download | gitignore-8202fbb408af642c886b525ef7149812376cba6e.tar.gz gitignore-8202fbb408af642c886b525ef7149812376cba6e.zip |
Add mllib, mlpack files
Diffstat (limited to 'Coq.gitignore')
-rw-r--r-- | Coq.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Coq.gitignore b/Coq.gitignore index a3cb78ee..f25a61d9 100644 --- a/Coq.gitignore +++ b/Coq.gitignore @@ -10,6 +10,8 @@ *.ml.d *.ml4.d *.mli.d +*.mllib.d +*.mlpack.d *.native *.o *.v.d |