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 /lib/Makefile.m32 | |
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 'lib/Makefile.m32')
0 files changed, 0 insertions, 0 deletions