From 630f96bec3a860efdcc43cf0d54bbfa3ee86a15a Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Wed, 5 Jul 2023 16:11:31 +0200 Subject: [PATCH] Remove Tycho optionalDependencies ignore configuration Seems to be not needed for anything. --- org.eventb.texteditor.parent/pom.xml | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/org.eventb.texteditor.parent/pom.xml b/org.eventb.texteditor.parent/pom.xml index 9e32f06..653b725 100644 --- a/org.eventb.texteditor.parent/pom.xml +++ b/org.eventb.texteditor.parent/pom.xml @@ -41,18 +41,6 @@ <version>2.7.5</version> <extensions>true</extensions> </plugin> - - <plugin> - <groupId>org.eclipse.tycho</groupId> - <artifactId>target-platform-configuration</artifactId> - <version>2.7.5</version> - <configuration> - <dependency-resolution> - <optionalDependencies>ignore</optionalDependencies> - </dependency-resolution> - </configuration> - </plugin> - </plugins> </build> -- GitLab