mirror of
https://github.com/zyedidia/micro.git
synced 2026-02-04 22:20:20 +09:00
Fixing comment plugin not using user settings when overriding default setting, Migrating comment plugin to use "comment.type" option instead
Fixing comment plugin not using user settings when overriding default setting, Migrating comment plugin to use "comment.type" option instead