From e061e2bcc889a5a83e03355df6d211cdd8c2a8dc Mon Sep 17 00:00:00 2001 From: Michael Mair-Keimberger Date: Sun, 7 Dec 2025 23:29:51 +0100 Subject: [PATCH] dev-ml/tiny_httpd: remove unused patch Signed-off-by: Michael Mair-Keimberger --- dev-ml/tiny_httpd/files/tiny_httpd-0.12-noseq.patch | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 dev-ml/tiny_httpd/files/tiny_httpd-0.12-noseq.patch diff --git a/dev-ml/tiny_httpd/files/tiny_httpd-0.12-noseq.patch b/dev-ml/tiny_httpd/files/tiny_httpd-0.12-noseq.patch deleted file mode 100644 index b35ba64f8d72..000000000000 --- a/dev-ml/tiny_httpd/files/tiny_httpd-0.12-noseq.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- a/src/dune 2023-01-30 20:28:23.578884847 +0100 -+++ b/src/dune 2023-01-30 20:28:33.523713488 +0100 -@@ -2,7 +2,7 @@ - (library - (name tiny_httpd) - (public_name tiny_httpd) -- (libraries threads seq) -+ (libraries threads) - (flags :standard -safe-string -warn-error -a+8) - (wrapped false)) -