Philip Martin <[email protected]> writes: > If the working file > contents are not equal to the pristine contents then the timestamps > should not be equal.
That might not be clear, I'll try again: if the working file contents are not equal to the the pristine contents then the working file timestamp should not be stored. Some other timestamp, or no timestamp at all, should be stored. -- Philip
