From aecf1b42f7a4e5c8ae624a3f48b232eec13a0c17 Mon Sep 17 00:00:00 2001 From: Marek Kubica Date: Sun, 6 Jul 2014 23:13:55 +0200 Subject: [PATCH] Even more files to ignore --- .gitignore | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.gitignore b/.gitignore index e71550e..96eadca 100644 --- a/.gitignore +++ b/.gitignore @@ -6,4 +6,7 @@ Makefile configure _tags setup.ml +setup.data +setup.log myocamlbuild.ml +_build/