Upgrade tree-sitter-tlaplus WASM and/or web-tree-sitter 0.22.2

tlaplus-community · Apr 5, 2024 · b4cc9e0 · b4cc9e0
1 parent 49f48a8
commit b4cc9e0
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 1 deletion.
diff --git a/tree-sitter-tlaplus/js/tree-sitter-tlaplus.wasm b/tree-sitter-tlaplus/js/tree-sitter-tlaplus.wasm
diff --git a/tree-sitter-tlaplus/js/tree-sitter.js b/tree-sitter-tlaplus/js/tree-sitter.js
diff --git a/tree-sitter-tlaplus/js/tree-sitter.wasm b/tree-sitter-tlaplus/js/tree-sitter.wasm