From 88a931fc1f1e5271c6167ccb28c45b5b33a20f78 Mon Sep 17 00:00:00 2001
From: pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 27 Apr 2012 16:43:33 +0000
Subject: Configure asks for lablgtk >= 2.12 with gtksourceview2

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index d2e2bcb5c..8c14100cd 100644
--- a/.gitignore
+++ b/.gitignore
@@ -104,11 +104,6 @@ tools/coqdep_lexer.ml
 tools/coqdoc/cpretty.ml
 lib/xml_lexer.ml
 
-# .mly files
-
-ide/config_parser.ml
-ide/config_parser.mli
-
 # .ml4 files
 
 g_*.ml
@@ -147,7 +142,6 @@ ide/coqide_main_opt.ml
 
 # other auto-generated files
 
-ide/undo.mli
 toplevel/mltop.optml
 toplevel/mltop.byteml
 kernel/byterun/coq_jumptbl.h
-- 
cgit v1.2.3