From 70f67f32f448625c817eb722adf788cecb69fb6b Mon Sep 17 00:00:00 2001
From: Andre Weinand
Date: Tue, 9 Mar 2004 09:19:13 +0000
Subject: removed option attribute from plugin.xml

---
 examples/org.eclipse.compare.examples/plugin.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'examples')

diff --git a/examples/org.eclipse.compare.examples/plugin.xml b/examples/org.eclipse.compare.examples/plugin.xml
index a0b621158..9157dcc98 100644
--- a/examples/org.eclipse.compare.examples/plugin.xml
+++ b/examples/org.eclipse.compare.examples/plugin.xml
@@ -18,7 +18,7 @@
       <import plugin="org.eclipse.core.resources"/>
       <import plugin="org.eclipse.compare"/>
       <import plugin="org.eclipse.jface.text"/>
-      <import plugin="org.eclipse.core.runtime.compatibility" optional="true"/>
+      <import plugin="org.eclipse.core.runtime.compatibility"/>
    </requires>
 
    <extension
-- 
cgit v1.2.3