diff options
| author | Jason Gross | 2018-09-05 04:51:40 -0400 |
|---|---|---|
| committer | Jason Gross | 2018-09-11 10:17:19 -0400 |
| commit | d354a29cae28b83dcf4ecb418633b2120211c41a (patch) | |
| tree | aa10a21e7ecd6ea4f0a268dc1c60d10cc0cb3f29 /dev | |
| parent | 053193926ea1397c400355a8d253ec9ba36a5731 (diff) | |
building-a-coq-project-with-coq-makefile:fix typos
make make-pretty-timed- after -> make make-pretty-timed-after (remove
space between - and after) (and reflow paragraph)
Fix spacing around :: in print-pretty-single-time-diff
Closes #8396
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions