Files
zyedidia.micro/runtime/plugins
Justin Su b8772b69c2 Use // comments for .json (#3388)
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.
2024-07-30 22:58:07 +02:00
..
2024-07-30 22:58:07 +02:00
2020-02-01 23:54:38 -05:00
2021-11-17 12:59:16 -08:00
2020-02-01 23:54:38 -05:00