Searched refs:file_time (Results 1 – 2 of 2) sorted by relevance
167 char file_time[4]; member1346 ttime = archive_le32dec(file_header.file_time); in read_header()
300 using file_time = time_point<file_clock, Duration>; // C++201593 using file_time = time_point<file_clock, _Duration>;