Skip to content

domain: c: fix warning for intersphinx targets#8418

Closed
utzig wants to merge 1 commit intosphinx-doc:3.xfrom
utzig:fix-warning-with-intersphinx
Closed

domain: c: fix warning for intersphinx targets#8418
utzig wants to merge 1 commit intosphinx-doc:3.xfrom
utzig:fix-warning-with-intersphinx

Commits

Commits on Nov 13, 2020