Closed StevenMaude closed 8 years ago
(That's the last PR from me on general corrections, you might be glad to hear.)
There's also this problem:
The PrintDefaults at 4 5 will output the default help for the flags...
but couldn't figure out a way to resolve that: it's incorrectly displaying 4 and 5, not just 4.
I'll open an issue for that
Small typo and formatting fixes.