mirror of
https://github.com/zyedidia/micro.git
synced 2026-02-06 23:20:18 +09:00
It is kept for the next release only to support...
f90870e948/index.sh (L197-L204)
...and allow a fluent switch via:
https://github.com/benweissmann/getmic.ro/pull/40