diff make-dist @ 6980:ef1b2bd0b19e

(init-file-user): Doc fix.
author Karl Heuer <kwzh@gnu.org>
date Wed, 20 Apr 1994 06:13:43 +0000
parents 15e380b232fa
children 5a03fc943b38
line wrap: on
line diff