diff options
Diffstat (limited to 'org.eclipse.ui.externaltools/.settings/org.eclipse.pde.prefs')
| -rw-r--r-- | org.eclipse.ui.externaltools/.settings/org.eclipse.pde.prefs | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/org.eclipse.ui.externaltools/.settings/org.eclipse.pde.prefs b/org.eclipse.ui.externaltools/.settings/org.eclipse.pde.prefs deleted file mode 100644 index 4c5630dee..000000000 --- a/org.eclipse.ui.externaltools/.settings/org.eclipse.pde.prefs +++ /dev/null @@ -1,14 +0,0 @@ -#Wed Nov 24 22:35:50 GMT-08:00 2004
-compilers.p.unused-element-or-attribute=1
-compilers.p.unresolved-ex-points=0
-compilers.p.deprecated=1
-compilers.p.unknown-element=0
-compilers.p.unknown-resource=1
-compilers.p.unknown-class=1
-compilers.p.unknown-attribute=0
-compilers.p.no-required-att=0
-eclipse.preferences.version=1
-compilers.p.unresolved-import=0
-compilers.p.not-externalized-att=1
-compilers.p.illegal-att-value=0
-compilers.use-project=true
|