* fileio.c: Improve handling of file time marker. (Bug#11852)
authorPaul Eggert <eggert@cs.ucla.edu>
Tue, 3 Jul 2012 23:51:32 +0000 (16:51 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Tue, 3 Jul 2012 23:51:32 +0000 (16:51 -0700)
commitdbeed9a6816f011bbf29ff9e991f38b0d0d7e5ea
treeff8f3994075c07e3ce16125c7468482bc7801c37
parent636334d6cc811d4194cd18ae6296ea65ccf72510
* 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