PR #1752 docs: add extensions to the TOC

docs: add extensions to the TOC #1752

dunglas merged 1 commit into main from docs/extensions-toc

docs: add extensions to the TOC

4b65bac8

dunglas force pushed from 1120deae to 4b65bac8 167 days ago

dunglas merged f224ffae into main 167 days ago

dunglas deleted the docs/extensions-toc branch 167 days ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone