diff etc/GNU @ 28840:d0531e35d9f2

Some doc fixes. (describe-face): Add customize button. Return the help text. Fix prompt.
author Dave Love <fx@gnu.org>
date Tue, 09 May 2000 15:45:57 +0000
parents 6b5aacec5ace
children 3ef78eaf5dca d7ddb3e565de 68c22ea6027c
line wrap: on
line diff