diff --git a/org.eventb.texteditor.parent/pom.xml b/org.eventb.texteditor.parent/pom.xml index 9e32f06c34624874d437829ed6434003fd743032..653b7251f958cd328ee6b9b9af48725ac0d04db5 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>