]> git.lizzy.rs Git - micro.git/commitdiff
projects / micro.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: cc15df9 7bc2d87)
Merge pull request #891 from pranavraja/master
authorZachary Yedidia <zyedidia@gmail.com>
Sun, 19 Nov 2017 20:47:05 +0000 (15:47 -0500)
committerGitHub <noreply@github.com>
Sun, 19 Nov 2017 20:47:05 +0000 (15:47 -0500)
search: Only update lastSearch on ENTER


Trivial merge
A modern and intuitive terminal-based text editor