Skip to content

Commit 3543d00

Browse files
committed
fix: Updated to Eclipse 2026-03
fix: sat4j dependency fix
1 parent 8e036af commit 3543d00

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

plugins/de.ovgu.featureide.fm.core/META-INF/MANIFEST.MF

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ Require-Bundle: org.eclipse.core.runtime,
77
org.eclipse.core.resources,
88
org.eclipse.swt
99
Bundle-ClassPath: .,
10-
lib/org.sat4j.core.jar,
10+
lib/org.ow2.sat4j.core-2.3.6.jar,
1111
lib/org.sat4j.pb.jar,
1212
lib/splar.jar,
1313
lib/SPLCAT.jar,

0 commit comments

Comments
 (0)