From dd955beb01bd7befe6922c83b41711a9303d4e05 Mon Sep 17 00:00:00 2001 From: Chris Recoskie Date: Wed, 27 Apr 2011 15:04:20 +0000 Subject: [PATCH] Bug 133881 - Make refreshing after building optional Work in progress. --- .../src/org/eclipse/cdt/core/resources/RefreshScopeManager.java | 2 -- 1 file changed, 2 deletions(-) diff --git a/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/resources/RefreshScopeManager.java b/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/resources/RefreshScopeManager.java index 8347a023c76..751345cb479 100644 --- a/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/resources/RefreshScopeManager.java +++ b/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/resources/RefreshScopeManager.java @@ -18,8 +18,6 @@ import java.util.HashMap; import java.util.LinkedHashSet; import java.util.LinkedList; import java.util.List; -import java.util.Queue; - import javax.xml.parsers.DocumentBuilder; import javax.xml.parsers.DocumentBuilderFactory; import javax.xml.parsers.ParserConfigurationException;