diff install-sh @ 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 35064c2e86d7
children 23a1cea22d13
line wrap: on
line diff