Steve Wills 6102fc7672 editors/micro: create port ... Micro is a terminal-based text editor that aims to be easy to use and intuitive, while also taking advantage of the full capabilities of modern terminals. WWW: https://micro-editor.github.io/		2017-02-27 22:23:16 +00:00
..
distinfo
Makefile
pkg-descr