Lines Matching defs:bodyEnd
1010 const char* bodyEnd = "</body>\n";1181 write_utf8_file(out, UnicodeString(bodyEnd));