deploy: cbf308a

hipsleek · May 9, 2024 · 3f2f4d2 · 3f2f4d2
1 parent 226d0fd
commit 3f2f4d2
Show file tree

Hide file tree

Showing 2 changed files with 223 additions and 222 deletions.
diff --git a/hipjs.bc.js b/hipjs.bc.js
diff --git a/index.html b/index.html
@@ -1348,7 +1348,7 @@
     <script>
       // this is substituted at build time and is used in page.js
       function postExampleLoad() {
-        console.log("Built Thu May  9 14:04:19 +08 2024");
+        console.log("Built Thu May  9 14:36:12 +08 2024");
         console.log("loading z3...");
       }
     </script>