diff options
| author | Gibheer <gibheer+git@zero-knowledge.org> | 2018-11-29 10:45:33 +0100 |
|---|---|---|
| committer | Gibheer <gibheer+git@zero-knowledge.org> | 2018-11-29 10:45:33 +0100 |
| commit | 83a1b45b19658f7436504368ab87416787f2d95d (patch) | |
| tree | 3172d54af7cc2ec7d343ed334fa852c5abf30dd8 /schema | |
| parent | 3b8e27706b2b0d623d2c162c1cd24f5f5806140a (diff) | |
moncheck - add timeout option
Before the timeout for checks was static. With this change it is finally
an option to configure.
Diffstat (limited to 'schema')
0 files changed, 0 insertions, 0 deletions