diff make-dist @ 11983:a4ab2659db4f

(font-lock-revert-cleanup): Always turn font lock on. (font-lock-mode): When turning mode off, always take out the revert hooks.
author Karl Heuer <kwzh@gnu.org>
date Mon, 29 May 1995 06:59:49 +0000
parents b951b7cc955e
children be8ee5a825b0
line wrap: on
line diff