]> git.lizzy.rs Git - micro.git/commitdiff
Merge pull request #1340 from dullbananas/improve-help
authorZachary Yedidia <zyedidia@gmail.com>
Fri, 26 Jul 2019 02:58:50 +0000 (19:58 -0700)
committerGitHub <noreply@github.com>
Fri, 26 Jul 2019 02:58:50 +0000 (19:58 -0700)
Add detail to help


Trivial merge