delta/curl.git/docs/cmdline-opts/dump-header.d, branch bagder/https-proxy-tests

delta/curl.git/docs/cmdline-opts/dump-header.d, branch bagder/https-proxy-tests github.com: bagder/curl.git dump-header.d: spell out that no headers == empty file [ci skip] 2019-06-01T08:42:00+00:00 Daniel Stenberg daniel@haxx.se 2019-05-31T21:09:54+00:00 ca09d96574e6a321fa141182bfa7c18faa7cd627 Reported-by: wesinator at github Fixes #3964 Closes #3974

Reported-by: wesinator at github
Fixes #3964
Closes #3974

cmdline-docs: more options converted over 2016-11-16T09:42:51+00:00 Daniel Stenberg daniel@haxx.se 2016-11-15T22:44:58+00:00 41b1f649bf63e3663fcf3d4a678fef37688e32b7