diff --git a/core/org.eclipse.cdt.ui/.settings/org.eclipse.pde.prefs b/core/org.eclipse.cdt.ui/.settings/org.eclipse.pde.prefs new file mode 100644 index 00000000000..6ab38113cdf --- /dev/null +++ b/core/org.eclipse.cdt.ui/.settings/org.eclipse.pde.prefs @@ -0,0 +1,14 @@ +#Tue Sep 26 11:18:15 CEST 2006 +compilers.incompatible-environment=1 +compilers.p.build=1 +compilers.p.deprecated=1 +compilers.p.no-required-att=0 +compilers.p.not-externalized-att=1 +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=0 +compilers.p.unresolved-import=0 +compilers.use-project=true +eclipse.preferences.version=1