diff man/ChangeLog @ 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 e2c00865f58d
children 99899af1ec94
line wrap: on
line diff