commit | e91e8a2a6c9bd36309acc58723cb62edc4410931 | [log] [download] |
---|---|---|
author | nicm <nicm> | Thu Oct 26 08:17:12 2017 +0000 |
committer | nicm <nicm> | Thu Oct 26 08:17:12 2017 +0000 |
tree | 22d3c1a3930d23ed0a7d74e2d6a4cf38b6a38efd | |
parent | be4c01697cec057e8043eb6b81ef959271581eb3 [diff] |
Fix crash exiting command prompt (from Alex Maese in GitHub issue 1139) and a man page tweak from jmc.