diff man/dired-xtra.texi @ 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 a6e9a00b021b
children 3d45362f1d38
line wrap: on
line diff