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 ef215487d..169b89b1c 100644 --- a/frontends/riscos/gui.c +++ b/frontends/riscos/gui.c @@ -2431,7 +2431,6 @@ static struct gui_misc_table riscos_misc_table = { .quit = gui_quit, .launch_url = gui_launch_url, - .cert_verify = gui_cert_verify, }; |