Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorEike Stepper2011-05-16 17:27:31 +0000
committerEike Stepper2011-05-16 17:27:31 +0000
commit584cb4b7e0e918f6c0ed083dd1dd53ee25c10a1e (patch)
tree7af76dc3799305d116ea816d042b2c179626ffc2 /plugins/org.eclipse.emf.cdo.tests.mongodb
parentf6717fc8113c7688bf8921978f8cfab42f84c84f (diff)
downloadcdo-584cb4b7e0e918f6c0ed083dd1dd53ee25c10a1e.tar.gz
cdo-584cb4b7e0e918f6c0ed083dd1dd53ee25c10a1e.tar.xz
cdo-584cb4b7e0e918f6c0ed083dd1dd53ee25c10a1e.zip
switched off unused problem filter warnings in all projects due to an annoying bug in API Tools
Diffstat (limited to 'plugins/org.eclipse.emf.cdo.tests.mongodb')
-rw-r--r--plugins/org.eclipse.emf.cdo.tests.mongodb/.settings/org.eclipse.pde.api.tools.prefs2
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/org.eclipse.emf.cdo.tests.mongodb/.settings/org.eclipse.pde.api.tools.prefs b/plugins/org.eclipse.emf.cdo.tests.mongodb/.settings/org.eclipse.pde.api.tools.prefs
index 4fc4ff0069..f8d0a0660e 100644
--- a/plugins/org.eclipse.emf.cdo.tests.mongodb/.settings/org.eclipse.pde.api.tools.prefs
+++ b/plugins/org.eclipse.emf.cdo.tests.mongodb/.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

Back to the top