Skip to content

set intersphinx mapping as shown in sphinx docs#413

Merged
javierggt merged 1 commit intomasterfrom
intersphinx
Jan 5, 2026
Merged

set intersphinx mapping as shown in sphinx docs#413
javierggt merged 1 commit intomasterfrom
intersphinx

Commits

Commits on Dec 10, 2025