Page MenuHomeSoftware Heritage

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

Authored by anlambert on Oct 15 2021, 1:10 PM.

Details

Summary

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

Diff Detail

Repository
rDDOC Development documentation
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.