]> git.lizzy.rs Git - micro.git/commitdiff
Merge branch 'master' of https://github.com/zyedidia/micro into build_tools
authorGeigerCounter <saturnstarinc2@gmail.com>
Tue, 28 Mar 2017 17:40:26 +0000 (13:40 -0400)
committerGeigerCounter <saturnstarinc2@gmail.com>
Tue, 28 Mar 2017 17:40:26 +0000 (13:40 -0400)

Trivial merge