diff make-dist @ 44843:4872781b98d4

Customize-face suggesting to customize face under point.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 25 Apr 2002 14:23:22 +0000
parents 118d892da9b7
children 01b93e5e53a7
line wrap: on
line diff