time_file/2¶

time_file(+ File,- Time)*

Unify the last modification time of File with Time. Time is a floating point number expressing the seconds elapsed since Jan 1, 1970.