diff man/basic.texi @ 34907:cc3aa3f6232a

(push_key_description): Add prototype.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 28 Dec 2000 13:39:35 +0000
parents d23d6a3e8128
children 054acbd5e9f7
line wrap: on
line diff