diff make-dist @ 9380:5eb799a4819b

(rmail-font-lock-keywords): New variable. (rmail-variables): Set font-lock-keywords locally.
author Richard M. Stallman <rms@gnu.org>
date Fri, 07 Oct 1994 09:59:00 +0000
parents f7ae124181cd
children ab020bbb761f
line wrap: on
line diff