HomeSoftware Heritage

sphinx/conf.py: Remove no longer needed httpdomain hacks

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

sphinx/conf.py: Remove no longer needed httpdomain hacks

The encountered issues have been fixed in release 1.8.0 of
sphinxcontrib-httpdomain.

Details

Provenance
anlambertAuthored on Oct 15 2021, 12:33 PM
anlambertPushed on Oct 15 2021, 1:33 PM
Differential Revision
D6486: sphinx/conf.py: Remove no longer needed httpdomain hacks

Commit No Longer Exists

This commit no longer exists in the repository.