diff options
Diffstat (limited to 'plugins/customization/org.eclipse.papyrus.customization/src/org/eclipse/papyrus/customization/plugin/PluginEditor.java')
| -rw-r--r-- | plugins/customization/org.eclipse.papyrus.customization/src/org/eclipse/papyrus/customization/plugin/PluginEditor.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/plugins/customization/org.eclipse.papyrus.customization/src/org/eclipse/papyrus/customization/plugin/PluginEditor.java b/plugins/customization/org.eclipse.papyrus.customization/src/org/eclipse/papyrus/customization/plugin/PluginEditor.java index a98ee215e7b..e91e21840d7 100644 --- a/plugins/customization/org.eclipse.papyrus.customization/src/org/eclipse/papyrus/customization/plugin/PluginEditor.java +++ b/plugins/customization/org.eclipse.papyrus.customization/src/org/eclipse/papyrus/customization/plugin/PluginEditor.java @@ -162,4 +162,8 @@ public class PluginEditor extends PluginProjectEditor implements IPluginProjectE public void setSingleton(boolean singleton) {
manifest.setSingleton(singleton);
}
+
+ public void setDependenciesVersion(String dependencyPattern, String newVersion) {
+ manifest.setDependenciesVersion(dependencyPattern, newVersion);
+ }
}
|