From 8202fbb408af642c886b525ef7149812376cba6e Mon Sep 17 00:00:00 2001
From: Jason Gross <jasongross9@gmail.com>
Date: Tue, 11 Oct 2016 17:25:39 -0400
Subject: [PATCH] Add mllib, mlpack files

---
 Coq.gitignore | 2 ++
 1 file changed, 2 insertions(+)

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