Add mllib, mlpack files

2016-10-11 17:25:39 -04:00
parent 6615075fe4
commit 8202fbb408
1 changed files with 2 additions and 0 deletions
--- a/Coq.gitignore
+++ b/Coq.gitignore
@@ -10,6 +10,8 @@
 *.ml.d
 *.ml4.d
 *.mli.d
+*.mllib.d
+*.mlpack.d
 *.native
 *.o
 *.v.d