Commit Graph

2 Commits

Author SHA1 Message Date
Michael Muré
2fd5f71b59
commands: add a "." at the end of Short commands usage 2019-03-01 22:52:52 +01:00
Michael Muré
04ddeef90f
commands: add a "deselect" command to deselect a previously selected bug 2018-09-26 16:49:00 +02:00