diff TOOLS/checktree.sh @ 16358:c2f2add58318

Improve -idle description.
author diego
date Fri, 02 Sep 2005 16:18:33 +0000
parents d4cf25d45b13
children 13ac8d0ba7fd
line wrap: on
line diff