diff make-dist @ 9535:a2908d5da32a

(add-to-list): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Fri, 14 Oct 1994 23:50:35 +0000
parents 014e2214b8cb
children 35cdd4523abf
line wrap: on
line diff