From 6754e582009027f1b4ff7a74566d191b03654fff Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Fri, 9 Nov 2018 15:28:54 +0100
Subject: [PATCH] bump other pom.xml version numbers to 3.3
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
but I don’t really know if I am doing the right thing here
---
org.eventb.texteditor.parent/pom.xml | 2 +-
org.eventb.texteditor.parsers/pom.xml | 2 +-
org.eventb.texteditor.repository/category.xml | 2 +-
org.eventb.texteditor.repository/pom.xml | 4 ++--
org.eventb.texteditor.ui/pom.xml | 4 ++--
5 files changed, 7 insertions(+), 7 deletions(-)
diff --git a/org.eventb.texteditor.parent/pom.xml b/org.eventb.texteditor.parent/pom.xml
index f620ee8..947e349 100644
--- a/org.eventb.texteditor.parent/pom.xml
+++ b/org.eventb.texteditor.parent/pom.xml
@@ -4,7 +4,7 @@
<groupId>org.eventb.texteditor</groupId>
<artifactId>org.eventb.texteditor.parent</artifactId>
- <version>3.2.0.qualifier</version>
+ <version>3.3.0.qualifier</version>
<packaging>pom</packaging>
diff --git a/org.eventb.texteditor.parsers/pom.xml b/org.eventb.texteditor.parsers/pom.xml
index 9f9f1bc..225e389 100644
--- a/org.eventb.texteditor.parsers/pom.xml
+++ b/org.eventb.texteditor.parsers/pom.xml
@@ -6,7 +6,7 @@
<relativePath>../org.eventb.texteditor.parent/pom.xml</relativePath>
<groupId>org.eventb.texteditor</groupId>
<artifactId>org.eventb.texteditor.parent</artifactId>
- <version>3.2.0.qualifier</version>
+ <version>3.3.0.qualifier</version>
</parent>
<artifactId>org.eventb.texteditor.parsers</artifactId>
diff --git a/org.eventb.texteditor.repository/category.xml b/org.eventb.texteditor.repository/category.xml
index 7faa2b8..8c3fcc3 100644
--- a/org.eventb.texteditor.repository/category.xml
+++ b/org.eventb.texteditor.repository/category.xml
@@ -2,7 +2,7 @@
<site>
- <feature url="features/org.eventb.texteditor.feature_3.2.0.qualifier.jar" id="org.eventb.texteditor.feature" version="3.2.0.qualifier">
+ <feature url="features/org.eventb.texteditor.feature_3.3.0.qualifier.jar" id="org.eventb.texteditor.feature" version="3.3.0.qualifier">
<category name="org.eventb.texteditor.feature.category"/>
</feature>
diff --git a/org.eventb.texteditor.repository/pom.xml b/org.eventb.texteditor.repository/pom.xml
index aeeccee..0a484fd 100644
--- a/org.eventb.texteditor.repository/pom.xml
+++ b/org.eventb.texteditor.repository/pom.xml
@@ -6,14 +6,14 @@
<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.texteditor.repository</artifactId>
- <version>3.2.0.qualifier</version>
+ <version>3.3.0.qualifier</version>
<packaging>eclipse-repository</packaging>
diff --git a/org.eventb.texteditor.ui/pom.xml b/org.eventb.texteditor.ui/pom.xml
index fdb4de1..e937ed5 100644
--- a/org.eventb.texteditor.ui/pom.xml
+++ b/org.eventb.texteditor.ui/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.texteditor.ui</artifactId>
- <version>3.2.0.qualifier</version>
+ <version>3.3.0.qualifier</version>
<packaging>eclipse-plugin</packaging>
</project>
--
GitLab