Skip to content

Remove deprecated sphinx-hoverxref extension#488

Merged
timosachsenberg merged 2 commits intomasterfrom
copilot/remove-hoverxref-extension
Dec 15, 2025
Merged

Remove deprecated sphinx-hoverxref extension#488
timosachsenberg merged 2 commits intomasterfrom
copilot/remove-hoverxref-extension

Commits

Commits on Dec 15, 2025