From 7e720f6e48cbd1985904a4917c60c6ea148d4e55 Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Thu, 18 Mar 2021 11:48:14 +0000
Subject: [PATCH] remove nmigen-type-annotations temporarily

---
 .gitmodules             | 1 +
 nmigen-type-annotations | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)
 delete mode 160000 nmigen-type-annotations

diff --git a/.gitmodules b/.gitmodules
index 8115c761..e3612334 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,4 @@
+[submodule "pinmux"]
 	path = pinmux
 	url = https://git.libre-soc.org/git/pinmux.git
 [submodule "libreriscv"]
diff --git a/nmigen-type-annotations b/nmigen-type-annotations
deleted file mode 160000
index 227f3995..00000000
--- a/nmigen-type-annotations
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 227f39952a4529cea7f5da76c361bf6b650adff3
-- 
2.30.2