diff etc/HELLO @ 21698:9ebbb53c1c20

(help-highlight-face): Use `face' as custom type.
author Richard M. Stallman <rms@gnu.org>
date Wed, 22 Apr 1998 02:08:02 +0000
parents 6645cda31681
children 6787824e2b50
line wrap: on
line diff