diff make-dist @ 21073:82e7d581bad1

(time-stamp-pattern): New variable. (time-stamp): Use that new variable. (time-stamp-string): Take optional format arg.
author Richard M. Stallman <rms@gnu.org>
date Fri, 06 Mar 1998 03:48:15 +0000
parents 17bcec31f3d4
children 70301d94ce1e
line wrap: on
line diff