diff make-dist @ 43303:9e0c8218a33b

Fix the encoding of Pavel's name.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 15 Feb 2002 10:59:03 +0000
parents e13df10b6b63
children 1109a8546104
line wrap: on
line diff