diff etc/TUTORIAL @ 4379:36f6f4b28dde

(isearch-done): Move point (for small window) before deciding whether to set the mark.
author Richard M. Stallman <rms@gnu.org>
date Sat, 31 Jul 1993 18:39:09 +0000
parents 2173e8c3723b
children e76136b468b3
line wrap: on
line diff