From d4c95d155277996026d96397df3a1bd0e0095152 Mon Sep 17 00:00:00 2001
From: Darin Swanson
Date: Thu, 25 Nov 2004 06:37:50 +0000
Subject: Bug 79465 - Extension point names need to be externalized

---
 .../.settings/org.eclipse.pde.prefs                        | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 org.eclipse.ui.externaltools/.settings/org.eclipse.pde.prefs

(limited to 'org.eclipse.ui.externaltools')

diff --git a/org.eclipse.ui.externaltools/.settings/org.eclipse.pde.prefs b/org.eclipse.ui.externaltools/.settings/org.eclipse.pde.prefs
new file mode 100644
index 000000000..4c5630dee
--- /dev/null
+++ b/org.eclipse.ui.externaltools/.settings/org.eclipse.pde.prefs
@@ -0,0 +1,14 @@
+#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
-- 
cgit v1.2.3