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 /doc | |
| 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 'doc')
0 files changed, 0 insertions, 0 deletions