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/.gitignore | |
| parent | 995f7178156c6f16484bbb7b8eed86ef86d222a8 (diff) | |
Add explicit check for timing failure, per Pavel.
Diffstat (limited to 'build/.gitignore')
0 files changed, 0 insertions, 0 deletions