diff TOOLS/checktree.sh @ 18323:d0180ac33e32

Remove a useless variable.
author uau
date Thu, 27 Apr 2006 22:13:59 +0000
parents edffd6f8a022
children e3f7f221f75e
line wrap: on
line diff