Lines Matching defs:file4
1004 const char* file4 = "\" date = \"";1145 write_utf8_file(out, UnicodeString(file4));