diff make-dist @ 30034:f0e0228afe6e

(hl-line-overlay): Make it permanent-local.
author Dave Love <fx@gnu.org>
date Tue, 04 Jul 2000 13:53:23 +0000
parents 43f15cfb67a0
children 349704f6532f
line wrap: on
line diff