diff configure1.in @ 8094:d9c6c2429f85

(rmail-highlight-headers): Do nothing if rmail-highlighted-headers is nil.
author Richard M. Stallman <rms@gnu.org>
date Thu, 30 Jun 1994 18:57:17 +0000
parents edcb7fcf3f28
children bc485f942c5e
line wrap: on
line diff