diff options
Diffstat (limited to 'desktop/options.h')
-rw-r--r-- | desktop/options.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/desktop/options.h b/desktop/options.h index e903c31c3..efec32f33 100644 --- a/desktop/options.h +++ b/desktop/options.h @@ -30,6 +30,7 @@ extern int option_http_proxy_port; extern int option_font_size; extern int option_font_min_size; extern char *option_accept_language; +extern bool option_ssl_verify_certificates; void options_read(const char *path); void options_write(const char *path); |