diff options
author | Daniel Stenberg <daniel@haxx.se> | 2018-10-23 13:38:48 +0200 |
---|---|---|
committer | Daniel Stenberg <daniel@haxx.se> | 2018-10-26 00:59:50 +0200 |
commit | ae925ddcc3df8a6b490430a89c12f98a94a25fc0 (patch) | |
tree | 8a5a14f28090fcf487d1be51fda3a94d5046e5db /docs/cmdline-opts/remote-header-name.d | |
parent | abfdf6a0b7b05dcfebb7cdee0c295031b33da1a7 (diff) |
tool_main: make TerminalSettings static
Reported-by: Gisle Vanem
Bug: https://github.com/curl/curl/commit/becfe1233ff2b6b0c3e1b6a10048b55b68c2539f#commitcomment-31008819
Closes #3161
Diffstat (limited to 'docs/cmdline-opts/remote-header-name.d')
0 files changed, 0 insertions, 0 deletions