From c821ed2bbd91e1b4fe2b74c01cce1a4106f37655 Mon Sep 17 00:00:00 2001 From: Vincent Sanders Date: Mon, 30 May 2016 11:15:58 +0100 Subject: move download header into public API --- desktop/gui_factory.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'desktop/gui_factory.c') diff --git a/desktop/gui_factory.c b/desktop/gui_factory.c index 65a3c584a..d917a3542 100644 --- a/desktop/gui_factory.c +++ b/desktop/gui_factory.c @@ -30,7 +30,7 @@ #include "desktop/save_pdf.h" #include "desktop/download.h" #include "desktop/searchweb.h" -#include "desktop/gui_download.h" +#include "netsurf/download.h" #include "desktop/gui_fetch.h" #include "desktop/gui_misc.h" #include "netsurf/window.h" -- cgit v1.2.3