gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2025-12-21 21:17:37 -08:00
Code Issues Projects Releases Wiki Activity

dev-ml/tiny_httpd: remove unused patch

Browse Source 
Signed-off-by: Michael Mair-Keimberger <mm1ke@gentoo.org>
This commit is contained in:
Michael Mair-Keimberger 2025-12-07 23:29:51 +01:00
parent 48a0fef111
commit e061e2bcc8
No known key found for this signature in database
GPG Key ID: 03B489CBE4B76101
1 changed files with 0 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
dev-ml/tiny_httpd/files/tiny_httpd-0.12-noseq.patch
View File

@ -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))