diff options
| author | Gibheer <gibheer+git@zero-knowledge.org> | 2019-01-07 15:50:55 +0100 |
|---|---|---|
| committer | Gibheer <gibheer+git@zero-knowledge.org> | 2019-01-07 15:50:55 +0100 |
| commit | 3b222e06ed63050cb99020d9d74ca0f1e52959d2 (patch) | |
| tree | 694fe5ba416682cceed76652d7534e746fc0e926 /.gitignore | |
| parent | 9ea6b0f3436651b2963572e719f534da96f48098 (diff) | |
moncheck - make workers configurable
The default worker count was set to 25, which might be too much
depending on the amount of cores available. Now make the default 25 and
let people decide on how many they want to use.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions