From cd53975179a201cad981b83f992e4d1227248622 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Fri, 20 Apr 2012 10:19:56 +0200
Subject: [PATCH] bumped feature version for release

---
 de.prob2.feature/feature.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index 6bc23c25..0f66f71b 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="de.prob2.feature"
       label="ProB for Rodin2"
-      version="2.3.0.qualifier"
+      version="2.3.1.qualifier"
       provider-name="HHU Düsseldorf STUPS Group">
 
    <description url="http://www.stups.uni-duesseldorf.de/ProB">
-- 
GitLab