diff etc/GNU @ 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 6b5aacec5ace
children 3ef78eaf5dca d7ddb3e565de 68c22ea6027c
line wrap: on
line diff