diff man/info.texi @ 34688:8f397d03b992

(set-keyboard-coding-system): Doc fix. (keyboard-coding-system): New option.
author Dave Love <fx@gnu.org>
date Mon, 18 Dec 2000 17:10:08 +0000
parents ddf7d535df2a
children 7f8b2b2ae623
line wrap: on
line diff