diff man/ediff.texi @ 64806:74dda054615b

(reporter-dump-state): Use insert-buffer-substring.
author Richard M. Stallman <rms@gnu.org>
date Tue, 09 Aug 2005 02:57:09 +0000
parents 5a0f08de3a11
children 3723093a21fd b7da78284d4c
line wrap: on
line diff