This repository has been archived by the owner on Nov 23, 2024. It is now read-only.
docs: set site_url
to fix broken 404 page on RTD#89
Merged
lars-reimann merged 3 commits intomain from 404Jul 11, 2023
+17-7