diff make-dist @ 19894:4bcb67851128

(save-completions-flag): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Fri, 12 Sep 1997 22:34:14 +0000
parents 53fa6bca2c89
children 07e5f3623def
line wrap: on
line diff