Skip to content

Give each top-level doc its own toctree caption#72

Merged
JE-Chen merged 1 commit intomainfrom
dev
Apr 28, 2026
Merged

Give each top-level doc its own toctree caption#72
JE-Chen merged 1 commit intomainfrom
dev

Commits

Commits on Apr 28, 2026