Add libpluto 0.8.1

PlutoLang · Jan 13, 2024 · 3576815 · 3576815
1 parent 28e42db
commit 3576815
Show file tree

Hide file tree

Showing 3 changed files with 23 additions and 1 deletion.
diff --git a/manifest.json b/manifest.json
@@ -7,7 +7,8 @@
         "0.8.1": "https://wasm.pluto.do/out/pluto/0.8.1/pluto.js"
     },
     "libpluto": {
-        "0.8.0": "https://wasm.pluto.do/out/libpluto/0.8.0/libpluto.js"
+        "0.8.0": "https://wasm.pluto.do/out/libpluto/0.8.0/libpluto.js",
+        "0.8.1": "https://wasm.pluto.do/out/libpluto/0.8.1/libpluto.js"
     },
     "lua": {
         "5.1.1": "https://wasm.pluto.do/out/lua/v5.1.1/lua.js",

diff --git a/out/libpluto/0.8.1/libpluto.js b/out/libpluto/0.8.1/libpluto.js
diff --git a/out/libpluto/0.8.1/libpluto.wasm b/out/libpluto/0.8.1/libpluto.wasm