diff options
Diffstat (limited to 'releng/org.eclipse.emf.cdo.releng.version.digest.ui/.settings/org.eclipse.pde.api.tools.prefs')
| -rw-r--r-- | releng/org.eclipse.emf.cdo.releng.version.digest.ui/.settings/org.eclipse.pde.api.tools.prefs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng/org.eclipse.emf.cdo.releng.version.digest.ui/.settings/org.eclipse.pde.api.tools.prefs b/releng/org.eclipse.emf.cdo.releng.version.digest.ui/.settings/org.eclipse.pde.api.tools.prefs index 4fc4ff0069..f8d0a0660e 100644 --- a/releng/org.eclipse.emf.cdo.releng.version.digest.ui/.settings/org.eclipse.pde.api.tools.prefs +++ b/releng/org.eclipse.emf.cdo.releng.version.digest.ui/.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 |