]> git.lizzy.rs Git - micro.git/commitdiff
Merge pull request #1456 from srishanbhattarai/patch-2
authorZachary Yedidia <zyedidia@gmail.com>
Tue, 14 Jan 2020 21:53:54 +0000 (16:53 -0500)
committerGitHub <noreply@github.com>
Tue, 14 Jan 2020 21:53:54 +0000 (16:53 -0500)
Include mingw and fix README section link


Trivial merge