Drop intersphinx
authorJochen Sprickerhof <jspricke@debian.org>
Tue, 3 Jan 2023 13:35:03 +0000 (14:35 +0100)
committerGraham Inggs <ginggs@debian.org>
Tue, 5 Dec 2023 13:22:12 +0000 (13:22 +0000)
commit514f6a09333872f8bef2c22c0e716a208aabb57a
tree6e5b05f7fd1654d74b2ae87ea4a43da5da723e2a
parent64bdf3f8728da6316ac1e2a755aeef08d48f428f
Drop intersphinx

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