diff make-dist @ 3757:02c40620b4de

(rmail-output): Use insert-file-contents to look at beginning of output file.
author Richard M. Stallman <rms@gnu.org>
date Wed, 16 Jun 1993 19:24:34 +0000
parents cecefb2ab758
children e65e33390314
line wrap: on
line diff