Add mllib, mlpack files

diff --git a/Coq.gitignore b/Coq.gitignore
index a3cb78ee67d615c3e9271668d1db635161392344..f25a61d9964771127aba75e69c46e661a9809b73 100644 (file)
--- a/Coq.gitignore
+++ b/Coq.gitignore
@@ -10,6 +10,8 @@
 *.ml.d
 *.ml4.d
 *.mli.d
+*.mllib.d
+*.mlpack.d
 *.native
 *.o
 *.v.d