Revert "Use gh-pages hosted rust doc while doc.rs docs are broken"#8195

Merged

emilk merged 1 commit intomainfrom revert-8166-andreas/workaround-broken-docsrs

Nov 21, 2024

+197-199

Commits on Nov 21, 2024

Revert "Use gh-pages hosted rust doc while doc.rs docs are broken (#8166 )"
emilk
authored