diff options
Diffstat (limited to 'bundles/org.eclipse.wst.dtd.ui/.settings/org.eclipse.pde.prefs')
-rw-r--r-- | bundles/org.eclipse.wst.dtd.ui/.settings/org.eclipse.pde.prefs | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/bundles/org.eclipse.wst.dtd.ui/.settings/org.eclipse.pde.prefs b/bundles/org.eclipse.wst.dtd.ui/.settings/org.eclipse.pde.prefs deleted file mode 100644 index 0e3f292317..0000000000 --- a/bundles/org.eclipse.wst.dtd.ui/.settings/org.eclipse.pde.prefs +++ /dev/null @@ -1,12 +0,0 @@ -#Thu Dec 16 07:40:58 EST 2004 -compilers.p.unused-element-or-attribute=0 -compilers.p.unresolved-ex-points=0 -compilers.p.unknown-element=0 -compilers.p.unknown-resource=0 -compilers.p.unknown-class=0 -compilers.p.unknown-attribute=0 -compilers.p.no-required-att=0 -eclipse.preferences.version=1 -compilers.p.unresolved-import=0 -compilers.p.illegal-att-value=0 -compilers.use-project=true |