mjprot: WIP starting optimization

4 lat temu · 13a1102ca1
--- a/mjprot/index.js
+++ b/mjprot/index.js
--- a/mjprot/index.pck
+++ b/mjprot/index.pck
--- a/mjprot/index.wasm
+++ b/mjprot/index.wasm