Searched defs:reset_filename (Results 1 – 2 of 2) sorted by relevance
2734 const char *reset_filename; in read_line_program() local
2696 const char *reset_filename; in read_line_program() local