mirror of
https://github.com/zyedidia/micro.git
synced 2026-03-01 18:30:19 +09:00
* command: Prevent re-writing settings in case of local option * command: Refactor SetGlobalOptionNative() Co-authored-by: Dmitry Maluka <dmitrymaluka@gmail.com> --------- Co-authored-by: Dmitry Maluka <dmitrymaluka@gmail.com>