Skip to content

docs: create a Sphinx domain extension to document preference settings#3567

Merged
shroffk merged 2 commits intoControlSystemStudio:masterfrom
minijackson:docs-prefs-sphinx-domain
Oct 14, 2025
Merged

docs: create a Sphinx domain extension to document preference settings#3567
shroffk merged 2 commits intoControlSystemStudio:masterfrom
minijackson:docs-prefs-sphinx-domain

Commits

Commits on Oct 8, 2025