diff man/info-stnd.texi @ 28868:e62636f5d724

(substitute-key-definition): Add comment describing the meaning of PREFIX.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 11 May 2000 09:28:06 +0000
parents 539960b7d9ac
children
line wrap: on
line diff