Searched refs:old_save (Results 1 – 1 of 1) sorted by relevance
2677 const char *old_save = time_fmt_old; in format_attrtime() local2688 time_fmt_old = old_save; in format_attrtime()2696 const char *old_save = time_fmt_old; in print_time() local2725 time_fmt_old = old_save; in print_time()