docs: set `site_url` to fix broken 404 page on RTD#176

Merged

lars-reimann merged 5 commits intomainfrom 404

Jul 11, 2023

+17-7

Commits on Apr 5, 2023

docs: set site_url to fix broken 404 page on RTD
lars-reimann
committed

Commits on Apr 18, 2023

Merge branch 'main' into 404
lars-reimann
authored

Commits on Jul 11, 2023