diff src/w32select.c @ 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 dcb45a76827f
children f95eb5f690c3
line wrap: on
line diff