comparison make-dist @ 16012:3b5ffd35defe

(Fload): Add "source is newer" info to the "loading" and "done" messages.
author Richard M. Stallman <rms@gnu.org>
date Sun, 01 Sep 1996 00:01:56 +0000
parents ffc0af16b32a
children 9694822642a7
comparison
equal deleted inserted replaced
16011:6c79ea3957c6 16012:3b5ffd35defe