diff msdos/sed3v2.inp @ 16772:ce2945525699

(rmail-msg-is-pruned): New function. (rmail-toggle-header): Add an optional argument to specify explicitly whether the header should be pruned or displayed in full.
author Richard M. Stallman <rms@gnu.org>
date Sat, 28 Dec 1996 20:56:53 +0000
parents 5c431b2e0f95
children 529f64fddbb6
line wrap: on
line diff