diff make-dist @ 22388:2d0bece94ee7

Comment change.
author Richard M. Stallman <rms@gnu.org>
date Sun, 07 Jun 1998 23:07:55 +0000
parents 8ff5c2a5ee26
children d929ae6f35d3
line wrap: on
line diff