diff make-dist @ 44211:c73b0428e06d

Fix version number.
author Richard M. Stallman <rms@gnu.org>
date Thu, 28 Mar 2002 18:29:02 +0000
parents 1109a8546104
children 071e287dcbde
line wrap: on
line diff