From 812b32b2d6496eb64e043df65626fb2f0c0bc5c7 Mon Sep 17 00:00:00 2001
From: bendisposto <jens@bendisposto.de>
Date: Mon, 28 Apr 2014 16:59:26 +0200
Subject: [PATCH] Update feature.xml

---
 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 e161c8ab..b80aea00 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.4.5.qualifier"
+      version="2.4.6.qualifier"
       provider-name="HHU Düsseldorf STUPS Group">
 
    <description url="http://www.stups.uni-duesseldorf.de/ProB">
-- 
GitLab