From 0303643f7418d73ea4d0f97b0e6dba56d70b3736 Mon Sep 17 00:00:00 2001 From: Ika Date: Sun, 1 Sep 2019 00:51:44 +0800 Subject: [PATCH] chore(playground): update web-tree-sitter@0.15.9 --- docs/index.html | 12 ++++-------- docs/tree-sitter-0.15.7/tree-sitter.wasm | Bin 304836 -> 0 bytes .../LICENSE | 0 .../playground.js | 0 .../style.css | 0 .../tree-sitter.js | 0 docs/web-tree-sitter-0.15.9/tree-sitter.wasm | Bin 0 -> 304464 bytes 7 files changed, 4 insertions(+), 8 deletions(-) delete mode 100644 docs/tree-sitter-0.15.7/tree-sitter.wasm rename docs/{tree-sitter-0.15.7 => tree-sitter-playground-0.15.8}/LICENSE (100%) rename docs/{tree-sitter-0.15.7 => tree-sitter-playground-0.15.8}/playground.js (100%) rename docs/{tree-sitter-0.15.7 => tree-sitter-playground-0.15.8}/style.css (100%) rename docs/{tree-sitter-0.15.7 => web-tree-sitter-0.15.9}/tree-sitter.js (100%) create mode 100644 docs/web-tree-sitter-0.15.9/tree-sitter.wasm diff --git a/docs/index.html b/docs/index.html index cc140fb..36cafe8 100644 --- a/docs/index.html +++ b/docs/index.html @@ -3,7 +3,7 @@ - + Tree-sitter TOML Playground