Closed
Description
As for:
Add config option to editor plugins e.g. VSCode
Is there anything I need to do? I see from #1576 that we have some auto-generation script. Is this part of the release process? Is any of this (i.e. the process of adding an option) documented anywhere?
Originally posted by @georgefst in #2763 (comment)
Metadata
Metadata
Assignees
Labels
No labels