From 743df0409690c0cb170d89e4aed1505838107eaa Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Sun, 6 Dec 2020 13:55:10 +0100
Subject: [PATCH] bump tycho version

---
 org.eventb.texteditor.parent/pom.xml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/org.eventb.texteditor.parent/pom.xml b/org.eventb.texteditor.parent/pom.xml
index 947e349..ad45acc 100644
--- a/org.eventb.texteditor.parent/pom.xml
+++ b/org.eventb.texteditor.parent/pom.xml
@@ -10,7 +10,7 @@
 
 	<!-- this is the parent POM from which all modules inherit common settings -->
 	<properties>
-		<tycho-version>0.21.0</tycho-version>
+		<tycho-version>2.1.0</tycho-version>
 	</properties>
 
    <repositories>
@@ -48,14 +48,14 @@
 				<!-- enable tycho build extension -->
 				<groupId>org.eclipse.tycho</groupId>
 				<artifactId>tycho-maven-plugin</artifactId>
-				<version>0.21.0</version>
+				<version>2.1.0</version>
 				<extensions>true</extensions>
 			</plugin>
 
 			<plugin>
 		    <groupId>org.eclipse.tycho</groupId>
 		    <artifactId>target-platform-configuration</artifactId>
-		    <version>0.21.0</version>
+		    <version>2.1.0</version>
 		    <configuration>
 		      <dependency-resolution>
 		        <optionalDependencies>ignore</optionalDependencies>
-- 
GitLab