Skip to content

Add the version string to the sidebar in the HTML docs#95

Merged
lagru merged 2 commits intomainfrom
version-in-doc-sidebar
Oct 23, 2025
Merged

Add the version string to the sidebar in the HTML docs#95
lagru merged 2 commits intomainfrom
version-in-doc-sidebar

Commits

Commits on Oct 23, 2025