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 35e1d62a9..08e808b99 100644 --- a/desktop/options.h +++ b/desktop/options.h @@ -55,6 +55,7 @@ extern char *option_ca_bundle; extern char *option_cookie_file; extern char *option_cookie_jar; extern char *option_homepage_url; +extern bool option_knockout_rendering; /* Fetcher configuration. */ extern int option_max_fetchers; |