diff make-dist @ 2801:2a9665f8ffe9

(isearch-done): Don't activate mark.
author Richard M. Stallman <rms@gnu.org>
date Sat, 15 May 1993 20:05:36 +0000
parents 4dae9952e40f
children 47d8f937a4bc
line wrap: on
line diff