commit 70f67f32f448625c817eb722adf788cecb69fb6b
author Andre Weinand <aweinand> Tue Mar 09 09:19:13 2004 +0000
committer Andre Weinand <aweinand> Tue Mar 09 09:19:13 2004 +0000
tree b795468a379ed0273410c9b3c187479a5a1e604c
parent c5cf820a6c11a876f867ae39e5d858fdf33d9afc

removed option attribute from plugin.xml

examples/org.eclipse.compare.examples/plugin.xml

diff --git a/examples/org.eclipse.compare.examples/plugin.xml b/examples/org.eclipse.compare.examples/plugin.xml
index a0b6211..9157dcc 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