add usage stats to toctree #2260

ErikKaum merged 1 commit into main from fix/add-usage-stats-to-toctree
ErikKaum
ErikKaum quick fix
8b08a8c0
danieldk
danieldk approved these changes on 2024-07-19
ErikKaum ErikKaum merged 40f5dc3e into main 1 year ago
ErikKaum ErikKaum deleted the fix/add-usage-stats-to-toctree branch 1 year ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone