Skip to content

Show the version in the docs title and drop the version notes - #954

Merged
m-reuter merged 3 commits into
Deep-MI:devfrom
m-reuter:doc-banner
Oct 18, 2026
Merged

Show the version in the docs title and drop the version notes#954
m-reuter merged 3 commits into
Deep-MI:devfrom
m-reuter:doc-banner

Use title case in page titles and add the launcher to the command ref…

e625b6a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
macos shell tests (bash 3.2)
succeeded Oct 18, 2026 in 39s