diff options
Diffstat (limited to 'org.eclipse.ui.editors/.settings')
-rw-r--r-- | org.eclipse.ui.editors/.settings/org.eclipse.pde.prefs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.ui.editors/.settings/org.eclipse.pde.prefs b/org.eclipse.ui.editors/.settings/org.eclipse.pde.prefs index 4832c466ea9..c6f8ed77d93 100644 --- a/org.eclipse.ui.editors/.settings/org.eclipse.pde.prefs +++ b/org.eclipse.ui.editors/.settings/org.eclipse.pde.prefs @@ -1,7 +1,7 @@ #Mon Sep 22 11:12:02 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 |