diff options
Diffstat (limited to 'rse/plugins/org.eclipse.rse.files.ui/.settings/org.eclipse.pde.prefs')
| -rw-r--r-- | rse/plugins/org.eclipse.rse.files.ui/.settings/org.eclipse.pde.prefs | 14 |
1 files changed, 0 insertions, 14 deletions
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 deleted file mode 100644 index 89c669191..000000000 --- a/rse/plugins/org.eclipse.rse.files.ui/.settings/org.eclipse.pde.prefs +++ /dev/null @@ -1,14 +0,0 @@ -#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 |