Searched refs:CustomHeading (Results 1 – 1 of 1) sorted by relevance
2863 bool CustomHeading = !Heading.empty(); in WriteDocumentation() local2916 if (!CustomHeading && !Names.empty()) { in WriteDocumentation()