diff src/s/hpux10.h @ 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 2f9062a74f0e
children 9e7e6fdddf0b
line wrap: on
line diff