From 7a46092522fd370473e83d2eed7c67850c4e876c Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 3 Jul 2023 15:23:14 +0200
Subject: [PATCH] Fix a dependency not being listed in feature.xml
---
de.prob2.feature/feature.xml | 1 +
1 file changed, 1 insertion(+)
diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index 048b078e..cc058f0a 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -234,6 +234,7 @@ litigation.
<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.expressions" version="3.7.0" match="compatible"/>
+ <import plugin="org.eclipse.core.filesystem" 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