diff options
| author | Marcel Raad <Marcel.Raad@teamviewer.com> | 2019-10-12 13:27:51 +0200 |
|---|---|---|
| committer | Marcel Raad <Marcel.Raad@teamviewer.com> | 2019-10-27 15:33:26 +0100 |
| commit | 0f234a5cdebd455f324cdf64b604b4a1340dbbfe (patch) | |
| tree | 4fc72ab8c146a94cb982455bb57cc661b8be828e /docs/cmdline-opts/pinnedpubkey.d | |
| parent | a030d483553f5486e84d8b454f11e78871fe401a (diff) | |
appveyor: add --disable-proxy autotools build
This would have caught issue #3926.
Also make formatting more consistent.
Closes https://github.com/curl/curl/pull/4526
Diffstat (limited to 'docs/cmdline-opts/pinnedpubkey.d')
0 files changed, 0 insertions, 0 deletions