Skip to content
Snippets Groups Projects
Commit c8df4790 authored by Sebastian Krings's avatar Sebastian Krings
Browse files

trying to fix parallel building of prob for rodin 2 and rodin 3

parent cbab7304
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
de.prob2.feature/feature.xml
+ 1
− 0
View file @ c8df4790
...@@ -241,6 +241,7 @@ litigation. ...@@ -241,6 +241,7 @@ litigation.
<import plugin="org.eclipse.core.expressions" version="3.4.101" match="compatible"/> <import plugin="org.eclipse.core.expressions" version="3.4.101" match="compatible"/>
<import plugin="org.eclipse.ui.navigator" version="3.5.0" match="greaterOrEqual"/> <import plugin="org.eclipse.ui.navigator" version="3.5.0" match="greaterOrEqual"/>
<import plugin="de.bmotionstudio.gef.editor" version="5.5.0" match="equivalent"/> <import plugin="de.bmotionstudio.gef.editor" version="5.5.0" match="equivalent"/>
<import plugin="org.eventb.core.ast" version="2.7.0" match="compatible"/>
</requires> </requires>
<plugin <plugin
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment