]> git.lizzy.rs Git - micro.git/commitdiff
projects / micro.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 3f01f73 cb7fe94)
Merge pull request #480 from Theodus/master
authorZachary Yedidia <zyedidia@gmail.com>
Thu, 8 Dec 2016 02:30:00 +0000 (21:30 -0500)
committerGitHub <noreply@github.com>
Thu, 8 Dec 2016 02:30:00 +0000 (21:30 -0500)
improve pony syntax


Trivial merge
A modern and intuitive terminal-based text editor