diff Makefile.in @ 78402:d22d1c8033b8

(Fvisited_file_modtime): Use make_time.
author Richard M. Stallman <rms@gnu.org>
date Fri, 03 Aug 2007 03:38:58 +0000
parents 55a39357e139
children a9b80f99c836
line wrap: on
line diff