diff man/makefile.w32-in @ 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 e9bbecf3b555
children e7dceaa82aae fa0da9b57058
line wrap: on
line diff