diff etc/enriched.doc @ 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 01d6f40201e1
children 1ea8008d4bd8
line wrap: on
line diff