diff TOOLS/checktree.sh @ 23444:4a9e6efb8200

Remove some useless code
author reimar
date Mon, 04 Jun 2007 13:05:26 +0000
parents 0e8285c7b2fa
children 91ccac9cc015
line wrap: on
line diff