diff man/widget.texi @ 34745:df58e8203c13

(echo_prompt): Prevent a compiler warning.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 20 Dec 2000 15:13:36 +0000
parents 3def5b3d0255
children b45dd6332475
line wrap: on
line diff