diff TOOLS/checktree.sh @ 25186:919916007cd2

this local variable can be static
author ben
date Fri, 30 Nov 2007 19:51:30 +0000
parents 993062afb229
children ac0406c340b3
line wrap: on
line diff