From af9e01a4569f34b2eb41e0876d25c4a1cdc06c94 Mon Sep 17 00:00:00 2001
From: Chris Fallin <chris@cfallin.org>
Date: Thu, 9 Sep 2021 18:33:18 -0700
Subject: [PATCH] Remove old .gitmodules -- no longer using wasmtime as a
 submodule

---
 cranelift/isle/.gitmodules | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 cranelift/isle/.gitmodules

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