diff make-dist @ 32830:1e6c5cca37db

(after-find-file): Don't print any warnings if WARN is nil.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 24 Oct 2000 15:17:51 +0000
parents 7b81c864cccf
children a020c0f20186
line wrap: on
line diff