diff etc/LINUX-GNU @ 38191:6eaa11a41f8a

(rmail-msg-restore-non-pruned-header): New function. (rmail-msg-prune-header): Likewise. (rmail-toggle-header): Use `rmail-msg-restore-non-pruned-header' and `rmail-msg-prune-header'.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 26 Jun 2001 10:34:27 +0000
parents 6b5aacec5ace
children e7d1e0f7a699
line wrap: on
line diff