diff --git a/.gitmodules b/.gitmodules index 67cabbe6..e69de29b 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +0,0 @@ -[submodule "vendor/iostream"] - path = vendor/iostream - url = https://github.com/c-cube/ocaml-iostream diff --git a/vendor/iostream b/vendor/iostream deleted file mode 160000 index 668a7c22..00000000 --- a/vendor/iostream +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 668a7c22c09d21293c9ce3fd8bc66b3080c525d2