Micro: modern and intuitive terminal text editor (micro-editor.github.io) 3 points by mbertschler 8y ago ↗ HN
1 comment
[ 6.6 ms ] story [ 28.8 ms ] thread