aboutsummaryrefslogtreecommitdiff
path: root/docs/cmdline-opts/dump-header.d
AgeCommit message (Collapse)Author
2019-06-01dump-header.d: spell out that no headers == empty file [ci skip]Daniel Stenberg
Reported-by: wesinator at github Fixes #3964 Closes #3974
2016-11-16cmdline-docs: more options converted overDaniel Stenberg