diff make-dist @ 15270:22867e90511f

(Fprin1_to_string): Preserve Vdeactivate_mark.
author Karl Heuer <kwzh@gnu.org>
date Tue, 21 May 1996 17:24:24 +0000
parents e8ceba484a94
children a68e276baffd
line wrap: on
line diff