From e1feff1215562d8f99fedf73c87011e6d7edca19 Mon Sep 17 00:00:00 2001
From: letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 19 May 2010 15:29:32 +0000
Subject: Remove refutpat.ml4, ideal.ml4 is again a normal .ml, let* coded in a
 naive way

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index f0dd91db9..98479902a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -106,7 +106,6 @@ ide/config_parser.mli
 
 lib/pp.ml
 lib/compat.ml
-lib/refutpat.ml
 parsing/g_xml.ml
 parsing/g_prim.ml
 parsing/q_util.ml
@@ -141,7 +140,6 @@ plugins/funind/g_indfun.ml
 plugins/omega/g_omega.ml
 plugins/quote/g_quote.ml
 plugins/groebner/groebner.ml
-plugins/groebner/ideal.ml
 plugins/micromega/g_micromega.ml
 plugins/subtac/g_subtac.ml
 plugins/fourier/g_fourier.ml
-- 
cgit v1.2.3