diff options
| author | Andre Weinand | 2003-12-01 11:26:05 +0000 |
|---|---|---|
| committer | Andre Weinand | 2003-12-01 11:26:05 +0000 |
| commit | 041429d2b0763e161d54da7b97ecabec28937735 (patch) | |
| tree | 1644d1e2c92db0133f1fc1e8fff774fb0553ed7d /bundles/org.eclipse.compare/plugin.xml | |
| parent | 5d892cc4a0351bf0da936e621a354f93b4dc2d99 (diff) | |
| download | eclipse.platform.team-041429d2b0763e161d54da7b97ecabec28937735.tar.gz eclipse.platform.team-041429d2b0763e161d54da7b97ecabec28937735.tar.xz eclipse.platform.team-041429d2b0763e161d54da7b97ecabec28937735.zip | |
Added optional import of plugin "org.eclipse.core.runtime.compatibility"
Diffstat (limited to 'bundles/org.eclipse.compare/plugin.xml')
| -rw-r--r-- | bundles/org.eclipse.compare/plugin.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bundles/org.eclipse.compare/plugin.xml b/bundles/org.eclipse.compare/plugin.xml index a79e21e53..3195e7013 100644 --- a/bundles/org.eclipse.compare/plugin.xml +++ b/bundles/org.eclipse.compare/plugin.xml @@ -19,6 +19,7 @@ <import plugin="org.eclipse.jface.text"/> <import plugin="org.eclipse.ui.ide"/> <import plugin="org.eclipse.ui.workbench.texteditor"/> + <import plugin="org.eclipse.core.runtime.compatibility" optional="true"/> </requires> |