diff make-dist @ 7498:0a30e271186f

(isearch-done): Don't call deactivate-mark.
author Richard M. Stallman <rms@gnu.org>
date Sat, 14 May 1994 09:50:26 +0000
parents 836cfa8829a7
children 6191acd134b6
line wrap: on
line diff