Micro: modern and intuitive terminal text editor(micro-editor.github.io)3 points by mbertschler 8 years ago | 1 comment