diff configure @ 55909:b917393b9c8c

(help-argument-name): Reintroduce face. (help-default-arg-highlight): Use it, now that `face-differs-from-default-p' can be trusted.
author Juanma Barranquero <lekktu@gmail.com>
date Fri, 04 Jun 2004 23:25:00 +0000
parents a3e9f5b44041
children 6e40bed9e91e 4c90ffeb71c5
line wrap: on
line diff