diff man/info.texi @ 66673:a4d43f085476

(key-sequence): New widget type.
author Richard M. Stallman <rms@gnu.org>
date Thu, 03 Nov 2005 21:46:16 +0000
parents 8e90ee28ad1a
children dc2d5a6655a3 db4e74787e6f 0ca0d9181b5e
line wrap: on
line diff