diff --git a/.gitmodules b/.gitmodules index 766d3eb..dbcdced 100644 --- a/.gitmodules +++ b/.gitmodules @@ -22,9 +22,6 @@ [submodule "wasmedge"] path = wasmedge url = https://src.opensuse.org/javascript/wasmedge.git -[submodule "binaryen"] - path = binaryen - url = https://src.opensuse.org/javascript/binaryen.git [submodule "espruino"] path = espruino url = https://src.opensuse.org/javascript/espruino.git diff --git a/binaryen b/binaryen deleted file mode 160000 index 27787ae..0000000 --- a/binaryen +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 27787ae624ab4c67f69a558791c5e0e6ba57b1064fe939c125f6a3cfa1ebce5b