]> granicus.if.org Git - curl/commit
dump-header.d: spell out that no headers == empty file [ci skip]
authorDaniel Stenberg <daniel@haxx.se>
Fri, 31 May 2019 21:09:54 +0000 (23:09 +0200)
committerDaniel Stenberg <daniel@haxx.se>
Sat, 1 Jun 2019 08:42:00 +0000 (10:42 +0200)
commitca09d96574e6a321fa141182bfa7c18faa7cd627
treea5f7193136b27b8d4aa04749a490e93693280643
parentc36f42839d88b0e4c938e80ebd5da4c765b0264e
dump-header.d: spell out that no headers == empty file [ci skip]

Reported-by: wesinator at github
Fixes #3964
Closes #3974
docs/cmdline-opts/dump-header.d