]> git.lizzy.rs Git - micro.git/commitdiff
Merge pull request #880 from onodera-punpun/consistent
authorZachary Yedidia <zyedidia@gmail.com>
Sun, 15 Oct 2017 19:32:35 +0000 (15:32 -0400)
committerGitHub <noreply@github.com>
Sun, 15 Oct 2017 19:32:35 +0000 (15:32 -0400)
Alphabetically order options, format *.md files


Trivial merge