mirror of
https://github.com/zyedidia/micro.git
synced 2026-04-01 07:37:24 +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