remove outdated web gui

pantor · Aug 29, 2024 · 67a6b25 · 67a6b25
1 parent b543105
commit 67a6b25
Show file tree

Hide file tree

Showing 9 changed files with 1 addition and 6,209 deletions.
diff --git a/doc/web-gui/README.md b/doc/web-gui/README.md
diff --git a/doc/web-gui/make_wasm.sh b/doc/web-gui/make_wasm.sh