diff TOOLS/checktree.sh @ 20188:d625febef0fa

some little consistency fixes
author ptt
date Thu, 12 Oct 2006 23:12:22 +0000
parents e5ec659ec1c6
children 97fbe96274c3
line wrap: on
line diff