diff options
Diffstat (limited to 'org.eclipse.ui.workbench.texteditor/.settings')
| -rw-r--r-- | org.eclipse.ui.workbench.texteditor/.settings/org.eclipse.pde.prefs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/.settings/org.eclipse.pde.prefs b/org.eclipse.ui.workbench.texteditor/.settings/org.eclipse.pde.prefs index 42e5e296f84..98e0f2bf9df 100644 --- a/org.eclipse.ui.workbench.texteditor/.settings/org.eclipse.pde.prefs +++ b/org.eclipse.ui.workbench.texteditor/.settings/org.eclipse.pde.prefs @@ -1,7 +1,7 @@ #Mon Sep 22 11:11:55 CEST 2008 compilers.f.unresolved-features=1 compilers.f.unresolved-plugins=1 -compilers.incompatible-environment=1 +compilers.incompatible-environment=0 compilers.p.build=0 compilers.p.deprecated=1 compilers.p.discouraged-class=1 |