diff make-dist @ 43181:0f5eacbb65d9

(Fround): A better doc fix.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 08 Feb 2002 10:21:21 +0000
parents e13df10b6b63
children 1109a8546104
line wrap: on
line diff