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