This input filename

このページを編集する際は，編集に関する方針に従ってください．[]

57 /* Input filename.  */
58 static const char *this_input_filename;