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