diff make-dist @ 6289:85693b7d5231

(rmail-ignored-headers): Add several x400 header types.
author Richard M. Stallman <rms@gnu.org>
date Thu, 10 Mar 1994 15:50:26 +0000
parents 76d9b1408e5c
children 15e380b232fa
line wrap: on
line diff