diff make-dist @ 8221:0b9e18f9b085

(ispell-word): Call ispell-dehighlight.
author Richard M. Stallman <rms@gnu.org>
date Tue, 12 Jul 1994 07:15:24 +0000
parents 686198604dc7
children cdd772d2e59f
line wrap: on
line diff