diff options
Diffstat (limited to 'docs/org.eclipse.wst.dtd.ui.infopop/.settings/org.eclipse.pde.prefs')
| -rw-r--r-- | docs/org.eclipse.wst.dtd.ui.infopop/.settings/org.eclipse.pde.prefs | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/docs/org.eclipse.wst.dtd.ui.infopop/.settings/org.eclipse.pde.prefs b/docs/org.eclipse.wst.dtd.ui.infopop/.settings/org.eclipse.pde.prefs new file mode 100644 index 000000000..f72495846 --- /dev/null +++ b/docs/org.eclipse.wst.dtd.ui.infopop/.settings/org.eclipse.pde.prefs @@ -0,0 +1,15 @@ +#Sun Apr 16 14:05:29 EDT 2006 +compilers.p.build=0 +compilers.p.deprecated=1 +compilers.p.illegal-att-value=0 +compilers.p.no-required-att=0 +compilers.p.not-externalized-att=0 +compilers.p.unknown-attribute=0 +compilers.p.unknown-class=0 +compilers.p.unknown-element=0 +compilers.p.unknown-resource=0 +compilers.p.unresolved-ex-points=0 +compilers.p.unresolved-import=0 +compilers.p.unused-element-or-attribute=0 +compilers.use-project=true +eclipse.preferences.version=1 |