diff options
| author | Daniel Stenberg <daniel@haxx.se> | 2018-07-12 11:04:00 +0200 |
|---|---|---|
| committer | Daniel Stenberg <daniel@haxx.se> | 2018-07-17 00:31:39 +0200 |
| commit | a82372e0fb3aa3ce9ab27687c4d4a738a6ec9064 (patch) | |
| tree | a63858eb0c6666e04cf9c7edb91b4c742ada7f56 /docs/cmdline-opts/page-header | |
| parent | 092f6815c808489f1cea3df8449e16dff2c35e6b (diff) | |
header output: switch off all styles, not just unbold
... the "unbold" sequence doesn't work on the mac Terminal.
Reported-by: Zero King
Fixes #2736
Closes #2738
Diffstat (limited to 'docs/cmdline-opts/page-header')
0 files changed, 0 insertions, 0 deletions