diff man/widget.texi @ 44373:5be168598322

Minor change for TeX filling improvement.
author Richard M. Stallman <rms@gnu.org>
date Wed, 03 Apr 2002 15:21:07 +0000
parents 661b1aa856cc
children d2e89e4ef1f1
line wrap: on
line diff