diff options
author | Michael Drake <michael.drake@codethink.co.uk> | 2020-02-21 11:44:13 +0000 |
---|---|---|
committer | Michael Drake <michael.drake@codethink.co.uk> | 2020-02-21 11:45:20 +0000 |
commit | 9a98f19611dad6af594cdda78bfeda56e0f9eafc (patch) | |
tree | 104c0909af9ea7e41961d9bb6652f6fa3c7a00b7 /desktop | |
parent | cbaf33e02d45d05e1a23080f9bc0a8cd6c5f96fc (diff) | |
download | netsurf-9a98f19611dad6af594cdda78bfeda56e0f9eafc.tar.gz netsurf-9a98f19611dad6af594cdda78bfeda56e0f9eafc.tar.bz2 |
Core: Remove unused minimum GIF delay option.
Diffstat (limited to 'desktop')
-rw-r--r-- | desktop/options.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/desktop/options.h b/desktop/options.h index 0e56ad350..326e041f6 100644 --- a/desktop/options.h +++ b/desktop/options.h @@ -105,9 +105,6 @@ NSOPTION_BOOL(block_advertisements, false) * http://www.w3.org/Submission/2011/SUBM-web-tracking-protection-20110224/#dnt-uas */ NSOPTION_BOOL(do_not_track, false) -/** Minimum GIF animation delay */ -NSOPTION_INTEGER(minimum_gif_delay, 10) - /** Whether to send the referer HTTP header */ NSOPTION_BOOL(send_referer, true) |