From bbebf15fcef3c055e5ee01fb55b44e4f24a1b29c Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 25 Mar 2024 10:16:13 -0400
Subject: [PATCH] remove vendored iostream

---
 .gitmodules     | 3 ---
 vendor/iostream | 1 -
 2 files changed, 4 deletions(-)
 delete mode 160000 vendor/iostream

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