-
Guillaume Melquiond authored
Do not update the proof duration if it changed by less than 10% or 0.1s, so as to avoid diff noise in session files.
dc70c243
Do not update the proof duration if it changed by less than 10% or 0.1s, so as to avoid diff noise in session files.