diff options
author | Adam Chlipala <adamc@csail.mit.edu> | 2016-09-20 13:46:57 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-09-20 13:46:57 -0400 |
commit | d41ec985e9839d5c01d69363cfca1dfda25536ab (patch) | |
tree | c32d4e40b99242c7eba2ae198639611753425240 /tests/rpc.ur | |
parent | 3afe16344c02881e4ace9e8965f48154b5225638 (diff) | |
parent | 2f81ca80930450cbbb12dba7abd112e7b296f1f6 (diff) |
Merge pull request #51 from jmitchell/bin-repro-mtime-precision
Use 1s precision when comparing file mtimes
Diffstat (limited to 'tests/rpc.ur')
0 files changed, 0 insertions, 0 deletions