From 3e253de6854b139a8a1be76af2388ffa9a3dcdb2 Mon Sep 17 00:00:00 2001
From: glondu
Date: Wed, 2 Dec 2009 08:36:00 +0000
Subject: Update .gitignore

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12554 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 7bab0acb17..ba4811b8f8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -46,6 +46,7 @@ dev/ocamlweb-doc/syntax.mli
 ide/config_lexer.ml
 ide/config_parser.ml
 ide/config_parser.mli
+ide/coqLex.ml
 ide/extract_index.ml
 ide/find_phrase.ml
 ide/highlight.ml
-- 
cgit v1.2.3