* fileio.c: Improve handling of file time marker. (Bug#11852)
commitcffeb3c3cc64023574c01893f85f4cf965c78716
authorPaul Eggert <eggert@cs.ucla.edu>
Tue, 3 Jul 2012 23:51:32 +0000 (3 16:51 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Tue, 3 Jul 2012 23:51:32 +0000 (3 16:51 -0700)
tree8df2f65688dc0b4ab127493981611f8dcd7cea83
parent2a8cbfcd0f47b0c85e5d3573895e8364d21803d0
* fileio.c: Improve handling of file time marker.  (Bug#11852)

(special_mtime): New function.
(Finsert_file_contents, Fverify_visited_file_modtime):
Use it to set special mtime values consistently.
src/ChangeLog
src/fileio.c