diff options
Diffstat (limited to 'frontends/riscos/gui.c')
| -rw-r--r-- | frontends/riscos/gui.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/frontends/riscos/gui.c b/frontends/riscos/gui.c index ff13a58aa..458f49108 100644 --- a/frontends/riscos/gui.c +++ b/frontends/riscos/gui.c @@ -73,7 +73,6 @@ #include "riscos/query.h" #include "riscos/window.h" #include "riscos/iconbar.h" -#include "riscos/sslcert.h" #include "riscos/local_history.h" #include "riscos/global_history.h" #include "riscos/cookies.h" |