Merge branch 'feature/version' into 'develop'

New version 0.9.12 - 0.9.13

See merge request jonasblatt/ma-jonasblatt-dmn-verifier!110

dmnverifierapi/pom.xml

@@ -21,7 +21,7 @@
     <artifactId>dmn-verifier-parent</artifactId>
     <groupId>de.unikoblenz.fgbks</groupId>
     <relativePath>../dmnverifierparent/pom.xml</relativePath>
-    <version>0.9.12</version>
+    <version>0.9.13</version>
   </parent>
 
   <properties>

dmnverifierfrontend/pom.xml

@@ -5,7 +5,7 @@
   <parent>
     <artifactId>dmn-verifier-parent</artifactId>
     <groupId>de.unikoblenz.fgbks</groupId>
-    <version>0.9.12</version>
+    <version>0.9.13</version>
     <relativePath>../dmnverifierparent/pom.xml</relativePath>
   </parent>
 

dmnverifierfrontend/src/main/resources/application.properties

 # Configuration file
-quarkus.http.port=80
-%dev.quarkus.http.port=8081
+quarkus.http.port=8081

dmnverifierparent/pom.xml

@@ -18,7 +18,7 @@
 
   <packaging>pom</packaging>
 
-  <version>0.9.12</version>
+  <version>0.9.13</version>
 
   <dependencyManagement>
     <dependencies>