From 4b96df85556b7e999ba1e94ff0adcabecb56bca1 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Fri, 9 Nov 2018 15:42:52 +0100
Subject: [PATCH] update version number in pom to 3.3

---
 org.eventb.texteditor.feature/feature.xml | 2 +-
 org.eventb.texttools/pom.xml              | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/org.eventb.texteditor.feature/feature.xml b/org.eventb.texteditor.feature/feature.xml
index ae6e3da..0d2a6dd 100644
--- a/org.eventb.texteditor.feature/feature.xml
+++ b/org.eventb.texteditor.feature/feature.xml
@@ -44,7 +44,7 @@ EventB-EMF-plugin v3.1.0
    </description>
 
    <copyright>
-      Copyright (c) 2009-2012 Heinrich-Heine University Dusseldorf.
+      Copyright (c) 2009-2018 Heinrich-Heine University Dusseldorf.
 All rights reserved.
    </copyright>
 
diff --git a/org.eventb.texttools/pom.xml b/org.eventb.texttools/pom.xml
index 8a38a1b..cbaf9aa 100644
--- a/org.eventb.texttools/pom.xml
+++ b/org.eventb.texttools/pom.xml
@@ -6,13 +6,13 @@
 		<parent>
 			<groupId>org.eventb.texteditor</groupId>
 			<artifactId>org.eventb.texteditor.parent</artifactId>
-			<version>3.2.0.qualifier</version>
+			<version>3.3.0.qualifier</version>
 			<relativePath>../org.eventb.texteditor.parent/pom.xml</relativePath>
 		</parent>
 
 		<groupId>org.eventb.texteditor</groupId>
 		<artifactId>org.eventb.texttools</artifactId>
-		<version>3.2.0.qualifier</version>
+		<version>3.3.0.qualifier</version>
 		<packaging>eclipse-plugin</packaging>
 
 	</project>
-- 
GitLab