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

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

798c3b9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar