chore: separate dir

zhiqiangxu · Aug 14, 2023 · f85f764 · f85f764
1 parent 0b771a2
commit f85f764
Show file tree

Hide file tree

Showing 199 changed files with 2,687 additions and 392 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,5 +1,5 @@
 /target
 *.json
 /output
-/playground/wasm
-/playground/target
+crates/playground/wasm
+crates/playground/target
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,3 @@
-[submodule "wasmi"]
-	path = wasmi
-	url = https://github.com/DelphinusLab/wasmi.git
+[submodule "third-party/wasmi"]
+	path = third-party/wasmi
+	url = git@github.com:DelphinusLab/wasmi.git