diff options
Diffstat (limited to 'desktop/options.h')
| -rw-r--r-- | desktop/options.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/desktop/options.h b/desktop/options.h index f31be7c45..49d956a0d 100644 --- a/desktop/options.h +++ b/desktop/options.h @@ -38,7 +38,6 @@ extern char *option_http_proxy_auth_pass; extern int option_font_size; extern int option_font_min_size; extern char *option_accept_language; -extern bool option_ssl_verify_certificates; extern int option_memory_cache_size; extern int option_disc_cache_age; extern bool option_block_ads; |