diff configure @ 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 315367ef0316
children 16fbddb97bd4
line wrap: on
line diff