diff admin/build-configs @ 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 0f6e6a0405c4
children 23a1cea22d13
line wrap: on
line diff