Lines Matching refs:headerEnd
1008 const char* headerEnd = "</header>\n";1168 write_utf8_file(out, UnicodeString(headerEnd));