Drop intersphinx
authorJochen Sprickerhof <jspricke@debian.org>
Tue, 3 Jan 2023 13:35:03 +0000 (14:35 +0100)
committerDrew Parsons <dparsons@debian.org>
Wed, 25 Jan 2023 14:32:10 +0000 (14:32 +0000)
commit9448ca2bc606ec52f5a00beff98fb73cc9574359
tree6b0922389fcccb5f8c12b4909c8c5290a31998c4
parent00a9190a2a54f48781fd7c8b56452c75770453ac
Drop intersphinx

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