From: Kim Nguyễn <kn@lri.fr>
Date: Tue, 23 Apr 2013 09:37:10 +0000 (+0200)
Subject: Add generated files to the .gitignore.
X-Git-Tag: v0.1~89
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=ef59263005772dd168506a99eeeada5277e1a7b2

Add generated files to the .gitignore.
---

diff --git a/.gitignore b/.gitignore
index d7eda5a..804ed5a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,3 +14,6 @@ autom4te.cache
 config.log
 remake
 .remake
+src/xpath/xpath_internal_parser.ml
+src/xpath/xpath_internal_parser.mli
+