diff src/w32.c @ 32131:3a54b3a6bf40

(substitute-key-definition): Doc fix. (play-sound-file): new command.
author Dave Love <fx@gnu.org>
date Wed, 04 Oct 2000 11:24:51 +0000
parents f5c37cece73f
children e41a7b1e443f
line wrap: on
line diff