# HG changeset patch
# User Sebastien Jodogne <s.jodogne@gmail.com>
# Date 1547757207 -3600
# Node ID b7c52549595e009366cc5eea624e426c66e6c910
# Parent  d5d11e43d0fbccde917c1a475cef1159833b1c1a
removed bad header

diff -r d5d11e43d0fb -r b7c52549595e Resources/Patches/civetweb-1.11.patch
--- a/Resources/Patches/civetweb-1.11.patch	Thu Jan 17 21:30:52 2019 +0100
+++ b/Resources/Patches/civetweb-1.11.patch	Thu Jan 17 21:33:27 2019 +0100
@@ -1,4 +1,3 @@
-Only in civetweb-1.11/src: a.out
 diff -urEb civetweb-1.11.orig/src/civetweb.c civetweb-1.11/src/civetweb.c
 --- civetweb-1.11.orig/src/civetweb.c	2019-01-17 21:09:41.852888857 +0100
 +++ civetweb-1.11/src/civetweb.c	2019-01-17 21:23:54.273424124 +0100