diff options
author | Andre Weinand | 2004-02-27 11:46:55 +0000 |
---|---|---|
committer | Andre Weinand | 2004-02-27 11:46:55 +0000 |
commit | a7bea38f1d1dce3c13a00276ffa4db9e8d868d19 (patch) | |
tree | 65ed16aa0565777fb03066fed0287c298b5476db /bundles/org.eclipse.compare/plugin.xml | |
parent | 187260d7e2acb649036192cca0d87252ae082c41 (diff) | |
download | eclipse.platform.team-a7bea38f1d1dce3c13a00276ffa4db9e8d868d19.tar.gz eclipse.platform.team-a7bea38f1d1dce3c13a00276ffa4db9e8d868d19.tar.xz eclipse.platform.team-a7bea38f1d1dce3c13a00276ffa4db9e8d868d19.zip |
removed optional="true" part
Diffstat (limited to 'bundles/org.eclipse.compare/plugin.xml')
-rw-r--r-- | bundles/org.eclipse.compare/plugin.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bundles/org.eclipse.compare/plugin.xml b/bundles/org.eclipse.compare/plugin.xml index 4491cedc6..622776501 100644 --- a/bundles/org.eclipse.compare/plugin.xml +++ b/bundles/org.eclipse.compare/plugin.xml @@ -20,7 +20,7 @@ <import plugin="org.eclipse.ui.ide"/> <import plugin="org.eclipse.ui.views"/> <import plugin="org.eclipse.ui.workbench.texteditor"/> - <import plugin="org.eclipse.core.runtime.compatibility" optional="true"/> + <import plugin="org.eclipse.core.runtime.compatibility"/> </requires> |