remove vendored iostream

This commit is contained in:
Simon Cruanes 2024-03-25 10:16:13 -04:00
parent 3a1a884186
commit bbebf15fce
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 0 additions and 4 deletions

3
.gitmodules vendored
View file

@ -1,3 +0,0 @@
[submodule "vendor/iostream"]
path = vendor/iostream
url = https://github.com/c-cube/ocaml-iostream

1
vendor/iostream vendored

@ -1 +0,0 @@
Subproject commit 668a7c22c09d21293c9ce3fd8bc66b3080c525d2