diff src/w32menu.c @ 86828:4a78198f5fdc

(with-decoded-time-value): Doc fix.
author Glenn Morris <rgm@gnu.org>
date Thu, 29 Nov 2007 04:46:57 +0000
parents f7d19cfed7da
children 107ccd98fa12 1251cabc40b7
line wrap: on
line diff