diff make-dist @ 14818:3349089ced14

(map-y-or-n-p): Fix previous change. Delete autoload cookie (file is preloaded).
author Richard M. Stallman <rms@gnu.org>
date Sun, 17 Mar 1996 15:40:29 +0000
parents f41775f4f5c6
children da70e30f73b9
line wrap: on
line diff