From e3e102828c437546ca1cd49dd89012fde9dc7b3f Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 5 Jul 2023 15:59:53 +0200
Subject: [PATCH] Update Tycho to version 2.7.5
---
org.eventb.texteditor.parent/pom.xml | 7 ++-----
1 file changed, 2 insertions(+), 5 deletions(-)
diff --git a/org.eventb.texteditor.parent/pom.xml b/org.eventb.texteditor.parent/pom.xml
index 4848a52..9e32f06 100644
--- a/org.eventb.texteditor.parent/pom.xml
+++ b/org.eventb.texteditor.parent/pom.xml
@@ -9,9 +9,6 @@
<packaging>pom</packaging>
<!-- this is the parent POM from which all modules inherit common settings -->
- <properties>
- <tycho-version>2.1.0</tycho-version>
- </properties>
<repositories>
<!-- configure p2 repository to resolve against -->
@@ -41,14 +38,14 @@
<!-- enable tycho build extension -->
<groupId>org.eclipse.tycho</groupId>
<artifactId>tycho-maven-plugin</artifactId>
- <version>2.1.0</version>
+ <version>2.7.5</version>
<extensions>true</extensions>
</plugin>
<plugin>
<groupId>org.eclipse.tycho</groupId>
<artifactId>target-platform-configuration</artifactId>
- <version>2.1.0</version>
+ <version>2.7.5</version>
<configuration>
<dependency-resolution>
<optionalDependencies>ignore</optionalDependencies>
--
GitLab