diff options
| author | Daniel Stenberg <daniel@haxx.se> | 2020-01-07 08:06:33 +0100 |
|---|---|---|
| committer | Daniel Stenberg <daniel@haxx.se> | 2020-01-09 22:57:33 +0100 |
| commit | fb723fd9d1d2c1acb46e7980b4b35a5fb4d7c355 (patch) | |
| tree | 20854e2cb390aff461a44c20e8baa128c651463d /docs/cmdline-opts/remote-header-name.d | |
| parent | 5ebe5044ab3bef50e671e528cc9f92ed0e20eaf7 (diff) | |
test1167: verify global symbols in public headers are curl prefixed
... using the new badsymbols.pl perl script
Fixes #4793
Closes #4794
Diffstat (limited to 'docs/cmdline-opts/remote-header-name.d')
0 files changed, 0 insertions, 0 deletions