Skip to content
Snippets Groups Projects
Commit 812b32b2 authored by bendisposto's avatar bendisposto
Browse files

Update feature.xml

parent 3f13ca8b
No related branches found
No related tags found
No related merge requests found
......@@ -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">
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment