]> git.lizzy.rs Git - micro.git/commitdiff
Merge pull request #62 from aerth/patch-1
authorZachary Yedidia <zyedidia@gmail.com>
Sat, 23 Apr 2016 02:45:37 +0000 (22:45 -0400)
committerZachary Yedidia <zyedidia@gmail.com>
Sat, 23 Apr 2016 02:45:37 +0000 (22:45 -0400)
ignore binary explicitly


Trivial merge