Open johnw42 opened 7 years ago
Mostly formatting fixes.
This change had some more useful fixes, but it turned out they were already in the master branch.
Mostly formatting fixes.