comparison configure @ 31037:7c81a282d217

(shell-font-lock-keywords): Remove prompt highlighting, since this is now done independently of font-lock mode.
author Miles Bader <miles@gnu.org>
date Tue, 22 Aug 2000 10:06:55 +0000
parents e53905a0a16b
children 49294d7cfd5b
comparison
equal deleted inserted replaced
31036:b8536256a5e8 31037:7c81a282d217