Skip to content

plugin.json: mark comment/divider entries with "type": "separator" - #764

Merged
dwertheimer merged 1 commit into
mainfrom
plugin-json-separator-markers
Jul 30, 2026
Merged

plugin.json: mark comment/divider entries with "type": "separator"#764
dwertheimer merged 1 commit into
mainfrom
plugin-json-separator-markers

Commits

Commits on Jul 30, 2026