diff make-dist @ 59083:4295cf593352

Update comment for check_depth.
author Jan Djärv <jan.h.d@swipnet.se>
date Sat, 25 Dec 2004 10:31:36 +0000
parents b5f2181a40b9
children f1e5f5261b95 59dcbfe97385
line wrap: on
line diff