diff make-dist @ 64795:153c52bc9ad4

(Info-insert-dir): Use insert-buffer-substring.
author Richard M. Stallman <rms@gnu.org>
date Tue, 09 Aug 2005 02:52:39 +0000
parents 385af3e03206
children 00005df1b3eb 890cc78a5a24
line wrap: on
line diff