diff man/widget.texi @ 36165:7ae44c5a0404

One more small cleanup.
author Richard M. Stallman <rms@gnu.org>
date Sat, 17 Feb 2001 17:43:17 +0000
parents 9995ab951813
children 00a52c680a19
line wrap: on
line diff