From cbd9904f91426ba27e1d82b0728992871c91c671 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Thu, 27 Aug 2020 12:23:41 +0200
Subject: [PATCH] try and relax GEF dependency further
---
de.prob2.feature/feature.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index 2a184aef..ba5564fc 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -227,7 +227,7 @@ litigation.
<import plugin="org.eclipse.ui" version="3.5.0" match="compatible"/>
<import plugin="org.eclipse.ui.ide" version="3.5.0" match="compatible"/>
<import plugin="org.eclipse.core.runtime" version="3.5.0" match="compatible"/>
- <import plugin="org.eclipse.gef" version="3.7.0" match="greaterOrEqual"/>
+ <import plugin="org.eclipse.gef" version="4.0.0" match="greaterOrEqual"/>
<import plugin="de.prob.core" version="9.4.0" match="equivalent"/>
<import plugin="org.eventb.core" version="3.0.0"/>
<import plugin="org.eclipse.core.resources" version="3.5.0" match="compatible"/>
--
GitLab