mirror of
https://github.com/zyedidia/micro.git
synced 2026-03-20 15:57:10 +09:00
Avoid code duplication between RegisterCommonOption() and RegisterCommonOptionPlug(), exactly the same way as it is done for RegisterGlobalOption() and RegisterGlobalOptionPlug().