diff make-dist @ 15879:79dba775070d

(rmail-ignored-headers): Remove extra paren.
author Erik Naggum <erik@naggum.no>
date Sat, 17 Aug 1996 11:53:54 +0000
parents ffc0af16b32a
children 9694822642a7
line wrap: on
line diff