diff make-dist @ 1892:c4ff65277bb3

(insert-directory): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Sat, 20 Feb 1993 06:23:08 +0000
parents c97e3a38444c
children 3be68763709f
line wrap: on
line diff