diff etc/FAQ @ 22264:225596bc6090

(rmail-old-pruned): New permanent local. (rmail-edit-current-message): Set rmail-old-pruned, then display full headers. (rmail-cease-edit): rmail-old-pruned controls whether to prune headers.
author Richard M. Stallman <rms@gnu.org>
date Wed, 27 May 1998 21:06:10 +0000
parents d6dbe558099c
children 0d84817a4973
line wrap: on
line diff