diff make-dist @ 29496:bb81eb902e0c

Insert a version number comment (5.2.2).
author Gerd Moellmann <gerd@gnu.org>
date Wed, 07 Jun 2000 15:38:33 +0000
parents 9eb6792eefac
children 43f15cfb67a0
line wrap: on
line diff