diff man/misc.texi @ 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 4a354500d0f8
children 0816b427495a fb79180b618d
line wrap: on
line diff