diff options
Diffstat (limited to 'bundles/org.eclipse.team.ui/.settings/org.eclipse.pde.prefs')
-rw-r--r-- | bundles/org.eclipse.team.ui/.settings/org.eclipse.pde.prefs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bundles/org.eclipse.team.ui/.settings/org.eclipse.pde.prefs b/bundles/org.eclipse.team.ui/.settings/org.eclipse.pde.prefs index d567561e4..8ebeae2b3 100644 --- a/bundles/org.eclipse.team.ui/.settings/org.eclipse.pde.prefs +++ b/bundles/org.eclipse.team.ui/.settings/org.eclipse.pde.prefs @@ -9,7 +9,7 @@ compilers.p.unknown-attribute=0 compilers.p.unknown-class=0 compilers.p.unknown-element=1 compilers.p.unknown-resource=0 -compilers.p.unresolved-ex-points=0 +compilers.p.unresolved-ex-points=1 compilers.p.unresolved-import=0 compilers.use-project=true eclipse.preferences.version=1 |