Skip to content

Add Favicon to doc page, update logo#858

Merged
jluethi merged 5 commits intomainfrom
favicon
Oct 30, 2024
Merged

Add Favicon to doc page, update logo#858
jluethi merged 5 commits intomainfrom
favicon

Commits

Commits on Oct 30, 2024