diff make-dist @ 9383:c4fa081b416e

(shell-font-lock-keywords): New variable. (shell-mode): Set font-lock-keywords locally.
author Richard M. Stallman <rms@gnu.org>
date Fri, 07 Oct 1994 10:04:06 +0000
parents f7ae124181cd
children ab020bbb761f
line wrap: on
line diff