diff src/w32inevt.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 1743924e00dd
children 712561c30aa5
line wrap: on
line diff