diff options
Diffstat (limited to 'desktop/options.c')
| -rw-r--r-- | desktop/options.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/desktop/options.c b/desktop/options.c index 5ae615703..0aa3fc065 100644 --- a/desktop/options.c +++ b/desktop/options.c @@ -54,8 +54,6 @@ int option_font_size = 100; int option_font_min_size = 70; /** Accept-Language header. */ char *option_accept_language = 0; -/** Enable verification of SSL certificates. */ -bool option_ssl_verify_certificates = true; /** Preferred maximum size of memory cache / bytes. */ int option_memory_cache_size = 2 * 1024 * 1024; /** Preferred expiry age of disc cache / days. */ @@ -96,7 +94,6 @@ struct { { "font_size", OPTION_INTEGER, &option_font_size }, { "font_min_size", OPTION_INTEGER, &option_font_min_size }, { "accept_language", OPTION_STRING, &option_accept_language }, - { "ssl_verify_certificates", OPTION_BOOL, &option_ssl_verify_certificates }, { "memory_cache_size", OPTION_INTEGER, &option_memory_cache_size }, { "disc_cache_age", OPTION_INTEGER, &option_disc_cache_age }, { "block_advertisements", OPTION_BOOL, &option_block_ads }, |