mirror of
https://github.com/zyedidia/micro.git
synced 2026-03-26 02:17:05 +09:00
This gives the advantage to differentiate internal options from user defined file globs with the same name.
This gives the advantage to differentiate internal options from user defined file globs with the same name.