diff configure @ 39800:8f2810b5b5e8

(help-customize-face): New button-type.
author Miles Bader <miles@gnu.org>
date Fri, 12 Oct 2001 01:54:22 +0000
parents 246f0728f1d7
children 9b67c2187518
line wrap: on
line diff