diff make-dist @ 26917:3d9aa6cec283

(sh-mode): If there is no #!-line, use the shell from sh-shell-file.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 16 Dec 1999 13:21:37 +0000
parents 8a1730e677fe
children d6607102aa71
line wrap: on
line diff