diff options
| author | Justin Worthe <justin@worthe-it.co.za> | 2018-07-24 00:02:11 +0200 |
|---|---|---|
| committer | Justin Worthe <justin@worthe-it.co.za> | 2018-07-24 00:02:11 +0200 |
| commit | 5a2a493cd299705105a14fe1dfcd7bd1ddd104d7 (patch) | |
| tree | 2f99ae5a848eed76f9257231d4ee4a980273e5a7 /bot.json | |
| parent | e8ef2ee25863694f105ced35f0fed8dcaaf1297c (diff) | |
Modified pruning to be friendlier to calculating benchmarks
Diffstat (limited to 'bot.json')
0 files changed, 0 insertions, 0 deletions