Lines Matching refs:bodyEnd
1009 const char* bodyEnd = "</body>\n";1180 write_utf8_file(out, UnicodeString(bodyEnd));