diff etc/DISTRIB @ 72274:680d93dcff9e

(w32_query_font): Fix last change: use stricmp.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 04 Aug 2006 17:21:21 +0000
parents e8a3fb527b77
children 0259a1711394
line wrap: on
line diff