From 6d351cb0e30700f7d4f719ab8d56b9728188ae23 Mon Sep 17 00:00:00 2001
From: Pierre Boutillier
Date: Sat, 28 Mar 2015 17:44:51 +0100
Subject: update gitignore

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index c0bae6c665..6223f4ef6e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -105,6 +105,7 @@ plugins/dp/dp_zenon.ml
 tools/gallina_lexer.ml
 tools/coqwc.ml
 tools/coqdep_lexer.ml
+tools/ocamllibdep.ml
 tools/coqdoc/cpretty.ml
 lib/xml_lexer.ml
 
-- 
cgit v1.2.3