diff make-dist @ 88832:1918306a80b1

Comment.
author Dave Love <fx@gnu.org>
date Wed, 03 Jul 2002 22:47:00 +0000
parents 1109a8546104
children 071e287dcbde
line wrap: on
line diff