diff make-dist @ 4825:d60016b1f6da

Comment update reflects reality.
author Brian Fox <bfox@gnu.org>
date Tue, 05 Oct 1993 01:48:48 +0000
parents 6e068e4635e0
children f27254ec443e
line wrap: on
line diff