mirror of
https://github.com/zyedidia/micro.git
synced 2026-03-25 18:07:07 +09:00
Display option names in bold text and argument placeholders in italic text, as recommended in `man man`.
Display option names in bold text and argument placeholders in italic text, as recommended in `man man`.