diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2022-04-06 15:02:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-06 15:02:20 +0200 |
| commit | f01e33f283f4ff4e04ccdd4c3692c631cb7290b9 (patch) | |
| tree | a32f6460f011380daa2abbb1bec82078cd7db1e0 /doc/manual/src | |
| parent | 36c1e3bc5f99fb3b942ae8ef45363dd6b6d6e7d2 (diff) | |
| parent | a7b12c6bd90cd44432bdaf45cb32b0af916d499c (diff) | |
Merge pull request #6372 from edolstra/curl-fail
Installer: Use curl --fail so we don't silently ignore download errors
Diffstat (limited to 'doc/manual/src')
0 files changed, 0 insertions, 0 deletions