]> git.lizzy.rs Git - micro.git/commit
Merge pull request #1485 from LevitatingBusinessMan/terminal_impr
authorZachary Yedidia <zyedidia@gmail.com>
Sat, 8 Feb 2020 00:12:05 +0000 (19:12 -0500)
committerGitHub <noreply@github.com>
Sat, 8 Feb 2020 00:12:05 +0000 (19:12 -0500)
commite73549c61a775b2ba14e669d074620eed9f34a11
treefdbee9a3c34ff53fc4e48bd379f500f4746c1276
parent106ba48079da59047e8a0153868ec8e93afe5249
parente759d4087b3da3428a11e18bf934e01f4a32271a
Merge pull request #1485 from LevitatingBusinessMan/terminal_impr

Terminal improvements