HomeSoftware Heritage

Remove the unused dependency on sphinx-tabs

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

Description

Remove the unused dependency on sphinx-tabs

Thanks to douardda for noticing.

Details

Provenance
lunarAuthored on Nov 29 2022, 9:20 AM
lunarPushed on Nov 29 2022, 10:16 AM
Differential Revision
D8895: Remove the unused dependency on sphinx-tabs

Commit No Longer Exists

This commit no longer exists in the repository.