Skip to content

docs: Fix deprecated intersphinx_mapping format#772

Open
Mr0grog wants to merge 1 commit intokevin1024:masterfrom
Mr0grog:update-intersphinx-format
Open

docs: Fix deprecated `intersphinx_mapping` format#772
Mr0grog wants to merge 1 commit intokevin1024:masterfrom
Mr0grog:update-intersphinx-format

Commits

Commits on Sep 29, 2023