diff make-dist @ 42964:003926a4dc49

(mismatch): Doc fix.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 25 Jan 2002 18:46:37 +0000
parents e13df10b6b63
children 1109a8546104
line wrap: on
line diff