diff etc/JOKES @ 40923:5ed9e7521ec5

(replace_range): Use adjust_markers_for_replace instead of adjust_markers_for_delete and adjust_markers_for_insert.
author Richard M. Stallman <rms@gnu.org>
date Sun, 11 Nov 2001 20:04:45 +0000
parents e96ffe544684
children e6a15b4101f4
line wrap: on
line diff