From dc8a40576121b7fd0a0ad0dfe8edc1624be04b54 Mon Sep 17 00:00:00 2001
From: letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 22 Mar 2012 13:22:05 +0000
Subject: Update of .gitignore (via a regexp g_*.ml)

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 0c8d63ae2..d2e2bcb5c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -111,48 +111,26 @@ ide/config_parser.mli
 
 # .ml4 files
 
+g_*.ml
+
 ide/project_file.ml
 lib/pp.ml
 lib/compat.ml
-parsing/g_xml.ml
-parsing/g_prim.ml
 parsing/q_util.ml
 parsing/tacextend.ml
 parsing/q_constr.ml
-parsing/g_vernac.ml
 parsing/pcoq.ml
-parsing/g_constr.ml
-parsing/g_ltac.ml
 parsing/vernacextend.ml
-parsing/g_tactic.ml
 parsing/argextend.ml
-parsing/g_decl_mode.ml
-parsing/q_coqast.ml
-parsing/g_proofs.ml
 parsing/lexer.ml
 plugins/xml/proofTree2Xml.ml
 plugins/xml/acic2Xml.ml
 plugins/xml/xml.ml
 plugins/xml/dumptree.ml
 plugins/xml/xmlentries.ml
-plugins/extraction/g_extraction.ml
-plugins/rtauto/g_rtauto.ml
-plugins/btauto/g_btauto.ml
-plugins/romega/g_romega.ml
 plugins/setoid_ring/newring.ml
-plugins/firstorder/g_ground.ml
-plugins/dp/g_dp.ml
-plugins/cc/g_congruence.ml
-plugins/ring/g_ring.ml
 plugins/field/field.ml
-plugins/funind/g_indfun.ml
-plugins/omega/g_omega.ml
-plugins/quote/g_quote.ml
 plugins/nsatz/nsatz.ml
-plugins/micromega/g_micromega.ml
-plugins/subtac/g_subtac.ml
-plugins/fourier/g_fourier.ml
-plugins/decl_mode/g_decl_mode.ml
 tactics/tauto.ml
 tactics/eauto.ml
 tactics/hipattern.ml
-- 
cgit v1.2.3