diff make-dist @ 15677:4431e88ce8d2

(sh-mode): Call sh-set-shell only for a writable empty buffer.
author Karl Heuer <kwzh@gnu.org>
date Mon, 15 Jul 1996 20:17:53 +0000
parents 409a68abc61c
children 80562f089595
line wrap: on
line diff