diff make-dist @ 67719:5e88f41fd520

(print_preprocess): Don't loose print_depth levels while iterating.
author Károly Lőrentey <lorentey@elte.hu>
date Wed, 21 Dec 2005 15:37:25 +0000
parents 2cadd1e7bd46
children b99080e25b28 7beb78bc1f8e
line wrap: on
line diff