diff options
Diffstat (limited to '10-curl-remove_deprecated_header.patch')
| -rw-r--r-- | 10-curl-remove_deprecated_header.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/10-curl-remove_deprecated_header.patch b/10-curl-remove_deprecated_header.patch new file mode 100644 index 000000000000..548fd4b07fed --- /dev/null +++ b/10-curl-remove_deprecated_header.patch @@ -0,0 +1,10 @@ +--- src/http.c.orig 2012-05-10 10:28:52.000000000 +0200 ++++ src/http.c 2012-05-10 10:29:14.000000000 +0200 +@@ -21,7 +21,6 @@ + #include <string.h> + #include <gtk/gtk.h> + #include <curl/curl.h> +-#include <curl/types.h> + #include <curl/easy.h> + #include "http.h" + #include "callbacks.h" |