From d240bec03627f5a26cd70e83a58483c69834f7c2 Mon Sep 17 00:00:00 2001 From: Vincent Sanders Date: Mon, 30 May 2016 11:04:32 +0100 Subject: move clipboard 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 5ee6326ed..65a3c584a 100644 --- a/desktop/gui_factory.c +++ b/desktop/gui_factory.c @@ -35,7 +35,7 @@ #include "desktop/gui_misc.h" #include "netsurf/window.h" #include "netsurf/search.h" -#include "desktop/gui_clipboard.h" +#include "netsurf/clipboard.h" #include "desktop/gui_utf8.h" #include "desktop/gui_layout.h" #include "desktop/netsurf.h" -- cgit v1.2.3