From 584cb4b7e0e918f6c0ed083dd1dd53ee25c10a1e Mon Sep 17 00:00:00 2001 From: Eike Stepper Date: Mon, 16 May 2011 17:27:31 +0000 Subject: switched off unused problem filter warnings in all projects due to an annoying bug in API Tools --- .../org.eclipse.emf.cdo.team/.settings/org.eclipse.pde.api.tools.prefs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'plugins/org.eclipse.emf.cdo.team/.settings/org.eclipse.pde.api.tools.prefs') diff --git a/plugins/org.eclipse.emf.cdo.team/.settings/org.eclipse.pde.api.tools.prefs b/plugins/org.eclipse.emf.cdo.team/.settings/org.eclipse.pde.api.tools.prefs index 4fc4ff0069..f8d0a0660e 100644 --- a/plugins/org.eclipse.emf.cdo.team/.settings/org.eclipse.pde.api.tools.prefs +++ b/plugins/org.eclipse.emf.cdo.team/.settings/org.eclipse.pde.api.tools.prefs @@ -81,7 +81,7 @@ TYPE_PARAMETER_ELEMENT_TYPE_CHANGED_CLASS_BOUND=Error TYPE_PARAMETER_ELEMENT_TYPE_CHANGED_INTERFACE_BOUND=Error TYPE_PARAMETER_ELEMENT_TYPE_REMOVED_CLASS_BOUND=Error TYPE_PARAMETER_ELEMENT_TYPE_REMOVED_INTERFACE_BOUND=Error -UNUSED_PROBLEM_FILTERS=Warning +UNUSED_PROBLEM_FILTERS=Ignore automatically_removed_unused_problem_filters=Disabled eclipse.preferences.version=1 incompatible_api_component_version=Error -- cgit v1.2.3