From ef59263005772dd168506a99eeeada5277e1a7b2 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kn@lri.fr>
Date: Tue, 23 Apr 2013 11:37:10 +0200
Subject: [PATCH] Add generated files to the .gitignore.

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

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
+
-- 
2.17.1