diff options
Diffstat (limited to 'plugins/org.eclipse.emf.cdo.examples.server/.settings/org.eclipse.pde.prefs')
-rw-r--r-- | plugins/org.eclipse.emf.cdo.examples.server/.settings/org.eclipse.pde.prefs | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/plugins/org.eclipse.emf.cdo.examples.server/.settings/org.eclipse.pde.prefs b/plugins/org.eclipse.emf.cdo.examples.server/.settings/org.eclipse.pde.prefs new file mode 100644 index 0000000000..a31119f00d --- /dev/null +++ b/plugins/org.eclipse.emf.cdo.examples.server/.settings/org.eclipse.pde.prefs @@ -0,0 +1,12 @@ +#Mon Mar 14 22:44:04 CET 2005 +compilers.p.deprecated=1 +compilers.p.no-required-att=0 +compilers.p.not-externalized-att=2 +compilers.p.unknown-attribute=0 +compilers.p.unknown-class=1 +compilers.p.unknown-element=0 +compilers.p.unknown-resource=1 +compilers.p.unresolved-ex-points=0 +compilers.p.unresolved-import=0 +compilers.use-project=true +eclipse.preferences.version=1 |