diff options
| author | Holger Weiss <holger@zedat.fu-berlin.de> | 2013-12-29 12:26:03 (GMT) |
|---|---|---|
| committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2013-12-29 12:26:03 (GMT) |
| commit | 2a8b57f1858bd57e1f7744612e3e0990a3d4d377 (patch) | |
| tree | bba97d21630e000e34df83033b83f9116416117a /web/input/doc/extra-opts.md | |
| parent | 1193b11cbb0ef2af7ebde6ce0db216a8855174f1 (diff) | |
| download | site-2a8b57f1858bd57e1f7744612e3e0990a3d4d377.tar.gz | |
check-mirrors: Add a timeout
Make sure that curl(1) won't hang forever.
Diffstat (limited to 'web/input/doc/extra-opts.md')
0 files changed, 0 insertions, 0 deletions