diff make-dist @ 61812:a9a70941ccb3

(mode-require-final-newline): Fix previous change. (require-final-newline): Fix type label.
author Richard M. Stallman <rms@gnu.org>
date Sun, 24 Apr 2005 21:29:15 +0000
parents ffa21905c7e9
children 3e36b3c98f8e e1fbb019c538
line wrap: on
line diff