diff make-dist @ 18573:2e91237ac14c

(custom-face-attributes): Use editable-color widget.
author Richard M. Stallman <rms@gnu.org>
date Thu, 03 Jul 1997 07:12:19 +0000
parents 614b4d642525
children c5f070514f07
line wrap: on
line diff