diff etc/widget.texi @ 17859:27d5828e6c50

(Info-set-mode-line): Add some spaces at the beginning.
author Richard M. Stallman <rms@gnu.org>
date Sat, 17 May 1997 18:39:23 +0000
parents 1effe507ea85
children
line wrap: on
line diff