David van Moolenbroek ab712d1923 commands: fix various small issues
Reported by dcb314.  Recommendations adopted as is.

This closes #137, closes #138, closes #139, and hopefully I got that
right this time.

Change-Id: I79774f4c398495dba19dec43fbc3f79afd186843
2016-08-05 11:17:19 +00:00
..
2014-07-31 16:00:30 +02:00
2014-07-31 16:00:30 +02:00
2015-09-23 12:03:11 +00:00
2016-08-05 11:17:19 +00:00
2014-07-31 16:00:30 +02:00
2014-07-31 16:00:30 +02:00