Drop intersphinx
authorJochen Sprickerhof <jspricke@debian.org>
Tue, 3 Jan 2023 13:35:03 +0000 (14:35 +0100)
committerGraham Inggs <ginggs@debian.org>
Sat, 6 Jan 2024 14:54:22 +0000 (14:54 +0000)
commit09697eadad21ecec08a2ae250847f46ae33254f4
tree0f4ab7975a8882d356d05e4b5096a99c95f8f0c1
parente584e8ddead83fe09c7c9f353f5174d7a3dd3342
Drop intersphinx

Gbp-Pq: Name 0018-Drop-intersphinx.patch
doc/source/conf.py