diff FTP @ 43888:b777a45900bb

(Symbol Type): Avoid makeinfo warning about colons in indices.
author Eli Zaretskii <eliz@gnu.org>
date Wed, 13 Mar 2002 17:59:14 +0000
parents cb7b83e13a02
children 20daeefd7052
line wrap: on
line diff