diff options
| author | Daniel Stenberg <daniel@haxx.se> | 2019-05-31 23:09:54 +0200 |
|---|---|---|
| committer | Daniel Stenberg <daniel@haxx.se> | 2019-06-01 10:42:00 +0200 |
| commit | ca09d96574e6a321fa141182bfa7c18faa7cd627 (patch) | |
| tree | a5f7193136b27b8d4aa04749a490e93693280643 /src | |
| parent | c36f42839d88b0e4c938e80ebd5da4c765b0264e (diff) | |
dump-header.d: spell out that no headers == empty file [ci skip]
Reported-by: wesinator at github
Fixes #3964
Closes #3974
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions