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 --- frontends/gtk/selection.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'frontends/gtk') diff --git a/frontends/gtk/selection.c b/frontends/gtk/selection.c index d1388ed27..ae44e7803 100644 --- a/frontends/gtk/selection.c +++ b/frontends/gtk/selection.c @@ -22,7 +22,7 @@ #include "utils/log.h" #include "desktop/browser.h" -#include "desktop/gui_clipboard.h" +#include "netsurf/clipboard.h" #include "gtk/window.h" -- cgit v1.2.3