diff src/w32gui.h @ 18580:717e09103d06

(find-grep-dired): Use -type f.
author Richard M. Stallman <rms@gnu.org>
date Fri, 04 Jul 1997 00:11:24 +0000
parents 303cda7d14cb
children 236627b268cc
line wrap: on
line diff