From 7fc0a4c481d7adad14a42740037d50b2f9e1cdc1 Mon Sep 17 00:00:00 2001 From: Vincent Sanders Date: Mon, 30 May 2016 17:32:57 +0100 Subject: move desktop window header into public API --- frontends/riscos/menus.c | 1 - 1 file changed, 1 deletion(-) (limited to 'frontends/riscos/menus.c') diff --git a/frontends/riscos/menus.c b/frontends/riscos/menus.c index 37285c9d1..0b1ac1a2b 100644 --- a/frontends/riscos/menus.c +++ b/frontends/riscos/menus.c @@ -40,7 +40,6 @@ #include "content/hlcache.h" #include "content/urldb.h" #include "desktop/cookie_manager.h" -#include "desktop/browser.h" #include "desktop/textinput.h" #include "riscos/dialog.h" -- cgit v1.2.3