diff src/w32menu.c @ 102653:eaf39e07d5ea

(Fsubstitute_in_file_name): Doc fix.
author Glenn Morris <rgm@gnu.org>
date Thu, 19 Mar 2009 06:26:04 +0000
parents e038c1a8307c
children 68dd71358159
line wrap: on
line diff