diff config.bat @ 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 c53a9463c31a
children b99080e25b28 f9a65d7ebd29
line wrap: on
line diff