comparison nt/INSTALL @ 107513:db52341e76ec

Restore user option rmail-highlight-face. * mail/rmail.el (rmail-highlight-face): Restore option deleted 2008-02-13 without comment; mark it obsolete. (rmail-highlight-headers): Use rmail-highlight-face once more.
author Glenn Morris <rgm@gnu.org>
date Wed, 17 Mar 2010 21:49:35 -0700
parents 1d1d5d9bd884
children bb9894b5234f 03ddd0223c7a
comparison
equal deleted inserted replaced
107512:41f05dc44793 107513:db52341e76ec