diff make-dist @ 39201:534f7d0b195c

(Garbage Collection): Document the used and free strings report. (Memory Usage): Document strings-consed.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 08 Sep 2001 17:44:36 +0000
parents c1607757c868
children 3634931bc971
line wrap: on
line diff