Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
My attempt to insulate from the leading tab removal the year-old commits finally pushed as 77a6d54 and 403d7eb failed miserably. I think it is some bug in git. Seemingly random groups of lines were indented differently than adjacent ones. Anyway, I spent a bunch of time sorting it all out, and this is the result.
- Loading branch information