Use packaged intersphinx indexes
authorDebian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Tue, 31 Jan 2023 13:21:16 +0000 (13:21 +0000)
committerPeter Michael Green <plugwash@raspbian.org>
Tue, 31 Jan 2023 13:21:16 +0000 (13:21 +0000)
commit84f82ff1adfe19b9f02ebab65f71377f61e30dc7
treee3ae6c7c6f0a8a04019000cec335283c63cb7df6
parent0b90b11f80d7f154c7549da569b44c549eba51ed
Use packaged intersphinx indexes

Author: Rebecca N. Palmer <rebecca_palmer@zoho.com>
Bug-Debian: https://bugs.debian.org/876417
Forwarded: not-needed

Gbp-Pq: Name use_system_intersphinx.patch
doc/source/conf.py