On Wed, Jul 1, 2020 at 11:28 am, Michael Catanzaro
<mcatanz...@gnome.org> wrote:
I have not much opinion on whether we should use this vs. nano.
Actually, playing with it for an extra three minutes... it's *really*
nice.
I know micro is not nearly as standard or popular as nano, but... this
is worth serious additional consideration.
_______________________________________________
devel mailing list -- devel@lists.fedoraproject.org
To unsubscribe send an email to devel-le...@lists.fedoraproject.org
Fedora Code of Conduct:
https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives:
https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org
