diff --git a/.gitmodules b/.gitmodules index 0c9f84c1..e69de29b 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +0,0 @@ -[submodule "maiko"] - path = maiko - url = https://github.com/Interlisp/maiko.git diff --git a/maiko b/maiko deleted file mode 160000 index 135d7f65..00000000 --- a/maiko +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 135d7f65d32e09d84b8d37924ee4e531ae21e11d