bump vernums

battlecode · Jan 9, 2023 · ae4458e · ae4458e
1 parent 57b8784
commit ae4458e
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/client/visualizer/src/config.ts b/client/visualizer/src/config.ts
@@ -154,7 +154,7 @@ export enum Mode {
 export function defaults(supplied?: any): Config {
   let year = "2023"
   let conf: Config = {
-    gameVersion: "0.1.1", //TODO: Change this on each release!
+    gameVersion: "0.1.5", //TODO: Change this on each release!
     year: year,
     map_extension: 'map'+year.substring(2),
     game_extension: 'bc'+year.substring(2),

diff --git a/engine/src/main/battlecode/common/GameConstants.java b/engine/src/main/battlecode/common/GameConstants.java
@@ -10,7 +10,7 @@ public class GameConstants {
     /**
      * The current spec version the server compiles with.
      */
-    public static final String SPEC_VERSION = "0.1.1";
+    public static final String SPEC_VERSION = "0.1.5";
 
     // *********************************
     // ****** MAP CONSTANTS ************

diff --git a/specs/specs.md.html b/specs/specs.md.html
@@ -17,7 +17,7 @@
 
 # Formal specification
 
-*This is the formal specification of the Battlecode 2023 game.* Current version: *0.1.1*
+*This is the formal specification of the Battlecode 2023 game.* Current version: *0.1.5*
 
 The 2023 specifications have not been ported yet. Following is the 2022 specs.