From a410de733817ff337cfae1e305cb0283ccebecb1 Mon Sep 17 00:00:00 2001
From: Pierre Boutillier <pierre.boutillier@ens-lyon.org>
Date: Tue, 26 Aug 2014 10:46:18 +0200
Subject: Configure.ml creates metadata to annotate MacOS binaries

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index cb5e7c818..b91f40129 100644
--- a/.gitignore
+++ b/.gitignore
@@ -47,6 +47,7 @@ plugins/*/*_mod.ml
 myocamlbuild_config.ml
 config/Makefile
 config/coq_config.ml
+config/Info-*.plist
 dev/ocamldebug-coq
 plugins/micromega/csdpcert
 kernel/byterun/dllcoqrun.so
-- 
cgit v1.2.3