diff TOOLS/checktree.sh @ 27280:440d543fb991

cosmetics: Indent language handling after last commit.
author diego
date Thu, 17 Jul 2008 12:38:05 +0000
parents abd0a4e9daa0
children 92d75e703bc0
line wrap: on
line diff