docs/index: Name properly index entry
Description
Description
Details
Details
- Provenance
ardumont Authored on Mar 29 2022, 9:31 AM ardumont Pushed on Mar 29 2022, 10:47 AM - Differential Revision
- D7447: docs/index: Name properly index entry
- Parents
- rDSCRUB4144ac789ff8: Add doc + rename check_{journal,storage}.py to {journal,storage}_checker.py
- Branches
- Unknown
- Tags
- Build Status
Buildable 27885 Build 43663: test-and-build Jenkins console · Jenkins