diff --git a/.gitmodules b/.gitmodules index 25d3e4f0..e69de29b 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +0,0 @@ -[submodule "extlib/benz"] - path = extlib/benz - url = git://github.com/picrin-scheme/benz.git diff --git a/extlib/benz b/extlib/benz deleted file mode 160000 index 569b1ace..00000000 --- a/extlib/benz +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 569b1ace02e6a066b21f94dff23c4e01b8748bf0