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/atari/gui.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'frontends/atari') diff --git a/frontends/atari/gui.c b/frontends/atari/gui.c index 9e6fd5ea8..5107f83f4 100644 --- a/frontends/atari/gui.c +++ b/frontends/atari/gui.c @@ -37,7 +37,7 @@ #include "desktop/browser.h" #include "desktop/gui_layout.h" #include "netsurf/window.h" -#include "desktop/gui_clipboard.h" +#include "netsurf/clipboard.h" #include "desktop/gui_fetch.h" #include "desktop/gui_misc.h" #include "desktop/netsurf.h" -- cgit v1.2.3