Commit ae083a9d authored by Michael Leuschel's avatar Michael Leuschel
Browse files

bump dependency for BMS GEF editor

parent 7cd70548
......@@ -16,7 +16,7 @@ Require-Bundle: org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
org.eventb.core;bundle-version="[3.0.0,4.0.0)",
org.eclipse.help;bundle-version="3.5.100",
org.eclipse.core.resources;bundle-version="[3.5.0,4.0.0)",
org.rodinp.core;bundle-version="[1.7.0,1.9.0)",
org.rodinp.core;bundle-version="[1.7.0,2.0.0)",
org.eventb.core.ast;bundle-version="[3.0.0,4.0.0)"
Bundle-ActivationPolicy: lazy
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment