From e64ad046dffcfdfe63e6da76132b3f78691d5b7f Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Thu, 27 Aug 2020 12:32:17 +0200
Subject: [PATCH] revert to GEF 3.7.0 compatible dependency
---
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 ba5564fc..373bcd99 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="4.0.0" match="greaterOrEqual"/>
+ <import plugin="org.eclipse.gef" version="3.7.0" match="compatible"/>
<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