diff make-dist @ 6511:fb1c6b7aba39

Change "internal" to "original" throughout. (add-custom-printer, delete-custom-printer) replace old customizers. (with-custom-print) new (custom-prin1-to-string) Made it more robust.
author Daniel LaLiberte <liberte@gnu.org>
date Thu, 24 Mar 1994 20:26:05 +0000
parents 76d9b1408e5c
children 15e380b232fa
line wrap: on
line diff