diff make-dist @ 7899:facf6b0e97ff

Comment change.
author Richard M. Stallman <rms@gnu.org>
date Wed, 15 Jun 1994 03:53:12 +0000
parents cba3121c44b7
children bd5b4c5dda7f
line wrap: on
line diff