diff make-dist @ 7697:b52a92ea3796

(choose-completion-string): Clear mouse-face property.
author Richard M. Stallman <rms@gnu.org>
date Thu, 26 May 1994 23:15:32 +0000
parents 836cfa8829a7
children 6191acd134b6
line wrap: on
line diff