Searched refs:filetime (Results 1 – 1 of 1) sorted by relevance
567 char *filetime = ctime(&dn->dn_time); in display_single() local573 printf("%.12s ", filetime + 4); in display_single()577 strchr(filetime + 20, '\n')[0] = ' '; in display_single() local578 printf("%.7s%6s", filetime + 4, filetime + 20); in display_single()