From 52522d53bf5554ab50a5dba6bcc2c03423cc68dc Mon Sep 17 00:00:00 2001
From: Markus Schorn <markus.schorn@windriver.com>
Date: Wed, 29 Nov 2006 07:39:19 +0000
Subject: [PATCH] Removed a few unused tracing options.

---
 core/org.eclipse.cdt.core/.options | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/core/org.eclipse.cdt.core/.options b/core/org.eclipse.cdt.core/.options
index 563c37c4354..90defeb98ef 100644
--- a/core/org.eclipse.cdt.core/.options
+++ b/core/org.eclipse.cdt.core/.options
@@ -12,18 +12,9 @@ org.eclipse.cdt.core/debug/parser/exceptions=false
 # Reports scanner activity
 org.eclipse.cdt.core/debug/scanner=false
 
-# Reports background indexer activity: indexing, saving index file, index queries
-org.eclipse.cdt.core/debug/indexmanager=false
-
 # Reports search activity
 org.eclipse.cdt.core/debug/search=false
 
-# Reports encoded index entries
-org.eclipse.cdt.core/debug/indexer=false
-
-# Reports time taken for an index
-org.eclipse.cdt.core/debug/indextimes=false
-
 # Reports search matches
 org.eclipse.cdt.core/debug/matchlocator=false
 
@@ -33,9 +24,6 @@ org.eclipse.cdt.core/debug/deltaprocessor=false
 # Reports file type resolver activity
 org.eclipse.cdt.core/debug/typeresolver=false
 
-# Reports file type resolver activity
-org.eclipse.cdt.core/debug/typeresolver=false
-
 # Reports timings for PDOM
 org.eclipse.cdt.core/debug/pdomtimings=false