HomeSoftware Heritage

doc: rename docs/specs/specs.rst as docs/specs/index.rst

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

Description

doc: rename docs/specs/specs.rst as docs/specs/index.rst

for the sake of clarity.

Details

Provenance
douarddaAuthored on Nov 5 2020, 2:21 PM
douarddaPushed on Nov 6 2020, 11:25 AM
Differential Revision
D4426: doc: rename docs/specs/specs.rst as docs/specs/index.rst
Build Status
Buildable 16905
Build 26081: test-and-buildJenkins console · Jenkins

Commit No Longer Exists

This commit no longer exists in the repository.