diff etc/DISTRIB @ 33780:00803fb0f58e

(hi-lock-refontify): Don't call non-existent jit-lock-fontify-buffer; it should anyway be unneccessary to dp anything special when jit-lock is active. (hi-yellow, hi-pink, hi-green, hi-blue): Fix defface specs.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 22 Nov 2000 19:44:43 +0000
parents 3e47b3d08800
children 80973470ed3e d7ddb3e565de
line wrap: on
line diff