diff options
| author | Tej Chajed | 2017-07-05 16:57:01 +0100 |
|---|---|---|
| committer | Tej Chajed | 2017-07-05 17:23:15 +0100 |
| commit | 466605a061dc2ef368b8c43c1f78f449b9db6045 (patch) | |
| tree | d7c05515c3fdc9e97ef650d4aeac03d8caaef73b /tools/TimeFileMaker.py | |
| parent | 1111aeb445261af9e74770c0fe3bfd0ffd4930e2 (diff) | |
Fix typo in documentation for identity
Fixes Coq bug 5635 (https://coq.inria.fr/bugs/show_bug.cgi?id=5635).
Diffstat (limited to 'tools/TimeFileMaker.py')
0 files changed, 0 insertions, 0 deletions