Put version back to 4.5.0-SNAPSHOT

nickbattle · Aug 8, 2022 · 2b1fc6b · 2b1fc6b
1 parent ddede60
commit 2b1fc6b
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 7 deletions.
diff --git a/dbgpc/src/main/scripts/dbgpc.sh b/dbgpc/src/main/scripts/dbgpc.sh
@@ -4,8 +4,8 @@
 #####################################################################################
 
 # Change these to flip version
-MVERSION="4.6.0-SNAPSHOT"
-PVERSION="4.6.0-P-SNAPSHOT"
+MVERSION="4.5.0-SNAPSHOT"
+PVERSION="4.5.0-P-SNAPSHOT"
 
 # The Maven repository directory containing jars
 MAVENREPO=~/.m2/repository/com/fujitsu

diff --git a/lsp/src/main/scripts/lsp.sh b/lsp/src/main/scripts/lsp.sh
@@ -11,8 +11,8 @@ function usage()
     exit 1
 }
 
-MVERSION="4.6.0-SNAPSHOT"
-PVERSION="4.6.0-P-SNAPSHOT"
+MVERSION="4.5.0-SNAPSHOT"
+PVERSION="4.5.0-P-SNAPSHOT"
 VERSION=$MVERSION
 
 # The Maven repository directory containing jars

diff --git a/pom.xml b/pom.xml
@@ -15,7 +15,7 @@
         <maven.build.timestamp.format>yyMMdd</maven.build.timestamp.format>
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
 
-        <revision>4.6.0-SNAPSHOT</revision>
+        <revision>4.5.0-SNAPSHOT</revision>
         <changelist></changelist>
         <sha1/>
     </properties>

diff --git a/vdmj/src/main/scripts/vdmsl.sh b/vdmj/src/main/scripts/vdmsl.sh
@@ -4,8 +4,8 @@
 #####################################################################################
 
 # Change these to flip VDMJ version
-MVERSION="4.6.0-SNAPSHOT"
-PVERSION="4.6.0-P-SNAPSHOT"
+MVERSION="4.5.0-SNAPSHOT"
+PVERSION="4.5.0-P-SNAPSHOT"
 
 # The Maven repository directory containing VDMJ jars
 MAVENREPO=~/.m2/repository/com/fujitsu