diff make-dist @ 4847:e7d8cfd205d4

(abbreviated-home-dir): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Tue, 12 Oct 1993 20:57:36 +0000
parents 6e068e4635e0
children f27254ec443e
line wrap: on
line diff