diff make-dist @ 5325:2c747b081be1

(rmail-insert-inbox-text): If copy-file fails, call rename-file with t as third arg.
author Richard M. Stallman <rms@gnu.org>
date Fri, 24 Dec 1993 02:49:41 +0000
parents f2e4b574a4e9
children e034ade52ca0
line wrap: on
line diff