some more highlighting at the end, and trivial whitespace changes to get around trying to git commit --amend out of sync with what had already made it to the remote

This commit is contained in:
Joe 2018-01-18 09:33:25 -05:00
parent 5d4e86c2f5
commit 710f4a1d71
1 changed files with 0 additions and 2 deletions

View File

@ -1,6 +1,4 @@
OK, backing out of earlier suggestion, which was based on a misunderstanding
of the document in question: