From 4077cbf7973454fa2f9684b24d466975694f6e56 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 3 Jul 2024 14:33:20 +0200
Subject: [PATCH] Fix missing new dependency in BMotion Studio feature
---
de.bmotionstudio.feature/feature.xml | 1 +
1 file changed, 1 insertion(+)
diff --git a/de.bmotionstudio.feature/feature.xml b/de.bmotionstudio.feature/feature.xml
index b5e43db3..cf9a4e4d 100644
--- a/de.bmotionstudio.feature/feature.xml
+++ b/de.bmotionstudio.feature/feature.xml
@@ -237,6 +237,7 @@ litigation.
<import plugin="de.prob.ui" version="7.6.0" match="equivalent"/>
<import plugin="org.eclipse.core.databinding" version="1.10.0" match="compatible"/>
<import plugin="org.eclipse.core.databinding.beans" version="1.7.0" match="compatible"/>
+ <import plugin="org.eclipse.core.databinding.property" version="1.7.0" match="compatible"/>
<import plugin="org.eclipse.core.resources" version="3.13.0" match="compatible"/>
<import plugin="org.eclipse.core.runtime" version="3.20.0" match="compatible"/>
<import plugin="org.eclipse.gef" version="3.11.0" match="compatible"/>
--
GitLab