mirror of
https://github.com/zyedidia/micro.git
synced 2026-03-30 22:57:15 +09:00
Using a map for the settings means that plugins will be able to create their own settings at runtime.
Using a map for the settings means that plugins will be able to create their own settings at runtime.