v0.1.3

uzh · Mar 1, 2023 · 262c4d5 · 262c4d5
1 parent 90816ec
commit 262c4d5
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.1.2)
+(version 0.1.3)
 
 (authors "Department of Economics, University of Zurich")
 

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

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.1.2"
+version: "0.1.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.1.2"
+version: "0.1.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.1.2"
+let to_string = "0.1.3"