diff --git a/rse/plugins/org.eclipse.rse.files.ui/.settings/org.eclipse.pde.prefs b/rse/plugins/org.eclipse.rse.files.ui/.settings/org.eclipse.pde.prefs new file mode 100644 index 00000000000..89c669191c8 --- /dev/null +++ b/rse/plugins/org.eclipse.rse.files.ui/.settings/org.eclipse.pde.prefs @@ -0,0 +1,14 @@ +#Wed Nov 08 19:35:51 MET 2006 +compilers.incompatible-environment=1 +compilers.p.build=1 +compilers.p.deprecated=1 +compilers.p.no-required-att=0 +compilers.p.not-externalized-att=2 +compilers.p.unknown-attribute=1 +compilers.p.unknown-class=1 +compilers.p.unknown-element=1 +compilers.p.unknown-resource=1 +compilers.p.unresolved-ex-points=1 +compilers.p.unresolved-import=0 +compilers.use-project=true +eclipse.preferences.version=1