mirror of
https://github.com/zyedidia/micro.git
synced 2026-02-07 23:50:18 +09:00
Add comments to `.json` files using `//` instead of the default `#`. Even though JSON does not support comments, JSON5 and JSONC exist, so `//` is a much more sane default. It also improves the experience of editing micro's own config files.