v0.3.3

uzh · Aug 2, 2023 · 8440dfc · 8440dfc
1 parent c4dad81
commit 8440dfc
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/dune-project b/dune-project
@@ -4,7 +4,7 @@
 
 (name pool)
 
-(version 0.3.2)
+(version 0.3.3)
 
 (authors "Department of Economics, University of Zurich")
 

diff --git a/package.json b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "pool",
-  "version": "0.3.2",
+  "version": "0.3.3",
   "license": "GPL-2.0-or-later",
   "scripts": {
     "build": "export NODE_OPTIONS=--trace-warnings PUBLIC_URL=$PREFIX_PATH/assets/; parcel build resources/index.js resources/images/** --dist-dir public --public-url $PUBLIC_URL && parcel build resources/admin.js --dist-dir public --public-url $PUBLIC_URL",

diff --git a/pool.opam b/pool.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.2"
+version: "0.3.3"
 synopsis: "The Z-Pool tool"
 description: """
 

diff --git a/pool.opam.locked b/pool.opam.locked
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "0.3.2"
+version: "0.3.3"
 synopsis: "The Z-Pool tool"
 description: """
 

diff --git a/pool/version/version.ml b/pool/version/version.ml
@@ -1 +1 @@
-let to_string = "0.3.2"
+let to_string = "0.3.3"