Bump to 0.1.3-dev3 and update dev manifest

2025-12-14 18:51:03 -05:00
parent a94cd17186
commit 3a785832b1
2 changed files with 6 additions and 6 deletions
--- a/pikit-web/data/version.json
+++ b/pikit-web/data/version.json
@@ -1,3 +1,3 @@
 {
-  "version": "0.1.3-dev1"
+  "version": "0.1.3-dev3"
 }