diff --git a/cranelift/isle/.gitmodules b/cranelift/isle/.gitmodules deleted file mode 100644 index dd607ad0d9..0000000000 --- a/cranelift/isle/.gitmodules +++ /dev/null @@ -1,3 +0,0 @@ -[submodule "wasmtime"] - path = wasmtime - url = https://github.com/cfallin/wasmtime