From bd0591f676f585a38c32049f31f1f187d748d6a2 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 24 Feb 2015 19:15:00 +0100
Subject: Added a small ocamlfile that calls ocamlfind recursivly over a given
 directory.

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 72fb793b..36372810 100644
--- a/.gitignore
+++ b/.gitignore
@@ -39,6 +39,7 @@ cparser/Parser.v
 cparser/Lexer.ml
 cparser/pre_parser.ml
 cparser/pre_parser.mli
+lib/Readconfig.ml
 lib/Tokenize.ml
 # Documentation
 doc/coq2html
-- 
cgit