whitespace cleanup
pronoiac opened this issue · 1 comments
pronoiac commented
tags: grep
We should try to avoid trailing spaces. I think a double trailing space was used for a linebreak; a trailing \
is probably better for that - less cryptic, more visible in markdown in the editor.
Similarly, converting tabs to spaces is good. The number of spaces to tabs can vary and can confuse; if in doubt, check the scan.