tools/config2rst: include short hostname in autogen header
Description
Description
Details
Details
- Provenance
ellie timoney Authored on Jun 1 2020, 5:54 AM mollekopf Pushed on Sep 6 2023, 3:14 PM - Parents
- R111:1c8b856d2316: tools/config2*: nit
- Branches
- Unknown
- Tags