diff options
Diffstat (limited to 'frontends/atari')
-rw-r--r-- | frontends/atari/gui.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/frontends/atari/gui.c b/frontends/atari/gui.c index cce4e13ee..517289d49 100644 --- a/frontends/atari/gui.c +++ b/frontends/atari/gui.c @@ -1107,7 +1107,6 @@ static struct gui_misc_table atari_misc_table = { .warning = atari_warn_user, .quit = gui_quit, - .cert_verify = gui_cert_verify, }; /* #define WITH_DBG_LOGFILE 1 */ |