diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-10-08 09:16:03 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-10-08 09:16:19 +0200 |
| commit | 6860a55ea0c07eff56882efa7499bed35b173397 (patch) | |
| tree | 8adbe700d952c8d842dcaa6f313ed8cd05364842 /doc | |
| parent | ad9cd64d3b0dd4528b37f939bcb2c9205b44db65 (diff) | |
| parent | de10efd154d6c02fe8549a2dc9649a96cf601fd2 (diff) | |
Merge pull request #4979
de10efd add -timeout default as constant and use them (Philip Kaufmann)
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions