HomeSoftware Heritage

docs: prevent a 'file non included in a toctree' warning

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

Description

docs: prevent a 'file non included in a toctree' warning

Details

Provenance
douarddaAuthored on Nov 28 2018, 6:39 PM
douarddaPushed on Nov 29 2018, 10:35 AM
Differential Revision
D728: Small improvements to help the CI job tracking errors and warnings in the doc

Commit No Longer Exists

This commit no longer exists in the repository.