diff make-dist @ 7133:9367067ee736

Comment change.
author Richard M. Stallman <rms@gnu.org>
date Wed, 27 Apr 1994 08:39:01 +0000
parents 15e380b232fa
children 5a03fc943b38
line wrap: on
line diff