This repository was archived by the owner on Apr 9, 2025. It is now read-only.

Intersphinx: ignore nodes without domain#210

Merged

humitos merged 1 commit intomainfrom

humitos/ignore-nodes-without-domain

Jul 13, 2022

Commits on Jul 12, 2022

Intersphinx: ignore nodes without domain
humitos
committed