diff options
| author | gingerBill <bill@gingerbill.org> | 2021-07-13 16:58:40 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2021-07-13 16:58:40 +0100 |
| commit | cec230950466afc11acf96f8d6030ee09bdbc315 (patch) | |
| tree | 1141983f348c739fe625856d3a37492863c81937 /src/common.cpp | |
| parent | ed5a4afc8c308c6db12d29d89b70738033ff46ec (diff) | |
Big improvement to the `-threaded-checker` code, unifying the logic and simplify behaviour
Diffstat (limited to 'src/common.cpp')
0 files changed, 0 insertions, 0 deletions