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