diff man/mini.texi @ 29567:db8d9c0d471f

(widget-specify-button): Really suppress the face if required.
author Dave Love <fx@gnu.org>
date Sun, 11 Jun 2000 23:00:42 +0000
parents 6f6d3c803dde
children e05819f22426
line wrap: on
line diff