Drop intersphinx
authorJochen Sprickerhof <jspricke@debian.org>
Tue, 3 Jan 2023 13:35:03 +0000 (14:35 +0100)
committerDrew Parsons <dparsons@debian.org>
Tue, 7 Feb 2023 08:49:03 +0000 (08:49 +0000)
commit5fa5824b21981d5203eab849ef4cc7663c796b6b
treeead9414a7a4e8ab7207130983fc42991c5ca7624
parent4bd53eca55a1369a94d7f4250fad2846b5ae4303
Drop intersphinx

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