diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-08-07 19:02:54 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-08-07 19:02:54 +0200 |
| commit | 1eba4f5e6290833a15a1a157eb7d079e08d45a4e (patch) | |
| tree | c2f0ffd6f3675a1084329fa7ecaa4edcb3222a4a /src/util/.gitignore | |
| parent | 8a60e6b62f173c1148686572e72ad552c3808325 (diff) | |
reduce retries and timeout
Diffstat (limited to 'src/util/.gitignore')
0 files changed, 0 insertions, 0 deletions