diff options
author | Tatsuya Kinoshita <tats@debian.org> | 2019-04-22 12:02:12 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-22 12:02:12 +0000 |
commit | b0509cee7d56943ed59fcc5eefa1aa1baf9752ea (patch) | |
tree | 23072d3586d26ec80327ebb66aeb3ffe28ec6b51 /fm.h | |
parent | Update ChangeLog (diff) | |
parent | Allow to override UserAgent (diff) | |
download | w3m-b0509cee7d56943ed59fcc5eefa1aa1baf9752ea.tar.gz w3m-b0509cee7d56943ed59fcc5eefa1aa1baf9752ea.zip |
Merge pull request #113 from spk/allow-override-user-agent
Allow to override UserAgent
Diffstat (limited to 'fm.h')
-rw-r--r-- | fm.h | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -935,6 +935,7 @@ global int w3m_dump init(0); global int w3m_halfload init(FALSE); global Str header_string init(NULL); global int override_content_type init(FALSE); +global int override_user_agent init(FALSE); #ifdef USE_COLOR global int useColor init(TRUE); |