diff make-dist @ 5140:9cde7d7fea1f

Comment change.
author Richard M. Stallman <rms@gnu.org>
date Tue, 23 Nov 1993 20:12:25 +0000
parents b4ed97a59663
children 9f18f50000e5
line wrap: on
line diff