diff make-dist @ 5974:bee9069f17e3

(revert-buffer): Use new insert-file-contents replace arg.
author Richard M. Stallman <rms@gnu.org>
date Thu, 17 Feb 1994 08:19:58 +0000
parents 76d9b1408e5c
children 15e380b232fa
line wrap: on
line diff