diff make-dist @ 12912:e519963ce31a

(makefile-space-face): New variable. (makefile-define-space-face): New function. (makefile-tab-face): Variable deleted. (makefile-define-tab-face): Function deleted. (makefile-font-lock-keywords): Highlight leading spaces, not tabs.
author Richard M. Stallman <rms@gnu.org>
date Mon, 21 Aug 1995 17:27:04 +0000
parents 1d30a1c68e44
children 5a333a8e0ee1
line wrap: on
line diff