diff build-ins.in @ 13468:2c8da6b3b9e0

(server-log): Record the current time. End with newline whenever STRING doesn't end with one.
author Richard M. Stallman <rms@gnu.org>
date Fri, 10 Nov 1995 17:01:59 +0000
parents 1541c518f769
children
line wrap: on
line diff