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/theme_install.c | 1 - 1 file changed, 1 deletion(-) (limited to 'frontends/riscos/theme_install.c') diff --git a/frontends/riscos/theme_install.c b/frontends/riscos/theme_install.c index 5c11ffb83..3448e742f 100644 --- a/frontends/riscos/theme_install.c +++ b/frontends/riscos/theme_install.c @@ -30,7 +30,6 @@ #include "utils/messages.h" #include "content/content.h" #include "content/hlcache.h" -#include "desktop/browser.h" #include "desktop/theme.h" #include "riscos/dialog.h" -- cgit v1.2.3