diff configure @ 84335:cc5b3cf69a31

(checkdoc-minor-mode-string): New. (checkdoc-minor-mode): Allow user to specify lighter via checkdoc-minor-mode-string.
author Glenn Morris <rgm@gnu.org>
date Thu, 06 Sep 2007 05:19:23 +0000
parents 75df0a26b036
children 53afd3fbf8e5
line wrap: on
line diff