Merge pull request #9328 from carlopi/notoolswasmfolder

[Dev] Remove unused tools/wasm folder
duckdb · Oct 12, 2023 · daee742 · daee742
2 parents 0944682 + 9850924
commit daee742
Show file tree

Hide file tree

Showing 7 changed files with 0 additions and 199 deletions.
diff --git a/tools/wasm/README.md b/tools/wasm/README.md
diff --git a/tools/wasm/hello_wasm.cpp b/tools/wasm/hello_wasm.cpp
diff --git a/tools/wasm/hello_wasm_test.js b/tools/wasm/hello_wasm_test.js
diff --git a/tools/wasm/scripts/wasm_build_lib.sh b/tools/wasm/scripts/wasm_build_lib.sh
diff --git a/tools/wasm/scripts/wasm_build_test.sh b/tools/wasm/scripts/wasm_build_test.sh
diff --git a/tools/wasm/scripts/wasm_configure.sh b/tools/wasm/scripts/wasm_configure.sh
diff --git a/tools/wasm/scripts/wasm_env.sh b/tools/wasm/scripts/wasm_env.sh