diff make-dist @ 61772:bd5a90076cd2

(follow-end-of-buffer): Use with-no-warnings.
author Richard M. Stallman <rms@gnu.org>
date Sat, 23 Apr 2005 16:46:01 +0000
parents ffa21905c7e9
children 3e36b3c98f8e e1fbb019c538
line wrap: on
line diff