diff man/widget.texi @ 73188:c0893cfe5685

(sh-prev-thing): Take `sh-leading-keywords' into account.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 30 Sep 2006 09:38:45 +0000
parents 11b616eddda4
children 381523fcc2fd e6bf73e43cf4
line wrap: on
line diff