diff options
| author | Justin Worthe <justin@worthe-it.co.za> | 2018-07-24 22:21:29 +0200 |
|---|---|---|
| committer | Justin Worthe <justin@worthe-it.co.za> | 2018-07-24 22:21:29 +0200 |
| commit | 4b64d36d14785c8ab1bc72368bae3fcb3543bb27 (patch) | |
| tree | 0e691726ba3b20926965124d3e9302d67f28000f /bot.json | |
| parent | 5a2a493cd299705105a14fe1dfcd7bd1ddd104d7 (diff) | |
Fixed min and benchmark logging in discarding search
Diffstat (limited to 'bot.json')
0 files changed, 0 insertions, 0 deletions