diff options
| author | Andre Weinand | 2004-03-09 09:19:13 +0000 |
|---|---|---|
| committer | Andre Weinand | 2004-03-09 09:19:13 +0000 |
| commit | 70f67f32f448625c817eb722adf788cecb69fb6b (patch) | |
| tree | b795468a379ed0273410c9b3c187479a5a1e604c | |
| parent | c5cf820a6c11a876f867ae39e5d858fdf33d9afc (diff) | |
| download | eclipse.platform.team-70f67f32f448625c817eb722adf788cecb69fb6b.tar.gz eclipse.platform.team-70f67f32f448625c817eb722adf788cecb69fb6b.tar.xz eclipse.platform.team-70f67f32f448625c817eb722adf788cecb69fb6b.zip | |
removed option attribute from plugin.xmlv20040309
| -rw-r--r-- | examples/org.eclipse.compare.examples/plugin.xml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |