diff options
Diffstat (limited to 'dev-ml/tiny_httpd/files/tiny_httpd-0.12-noseq.patch')
| -rw-r--r-- | dev-ml/tiny_httpd/files/tiny_httpd-0.12-noseq.patch | 11 |
1 files changed, 0 insertions, 11 deletions
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)) - |