diff options
author | Anton Khirnov <anton@khirnov.net> | 2019-09-16 11:00:31 +0200 |
---|---|---|
committer | Anton Khirnov <anton@khirnov.net> | 2019-09-16 11:00:31 +0200 |
commit | c6362a3cbe9b5b95f3b0a4b79653f46e2c70492c (patch) | |
tree | 528392909dec717a9eec1a57ca963ad743a648b5 /schedule.ccl | |
parent | 1424606c79dd3fa71125a7fda37e34372104ac32 (diff) |
Take the finest solve level into account for correction.
Diffstat (limited to 'schedule.ccl')
0 files changed, 0 insertions, 0 deletions