diff options
author | Rob Austein <sra@hactrn.net> | 2018-08-21 15:06:04 -0400 |
---|---|---|
committer | Paul Selkirk <paul@psgd.org> | 2019-01-23 14:26:58 -0500 |
commit | 56c22fbc58466285af8ac8f7ea7f48fc78212311 (patch) | |
tree | 2f05b9e45bde5d01f1e37722ce9fcc93c1d088fc /build/config.py | |
parent | 995f7178156c6f16484bbb7b8eed86ef86d222a8 (diff) |
Add explicit check for timing failure, per Pavel.
Diffstat (limited to 'build/config.py')
0 files changed, 0 insertions, 0 deletions