comparison TOOLS/checktree.sh @ 32396:6e65cda7f150

Remove some obsolete and misleading comments.
author diego
date Tue, 12 Oct 2010 16:53:43 +0000
parents 92d75e703bc0
children
comparison
equal deleted inserted replaced
32395:aca925e56969 32396:6e65cda7f150