comparison TOOLS/checktree.sh @ 16473:d9697b778be2

Nits suggested by Diego
author gpoirier
date Tue, 13 Sep 2005 11:38:39 +0000
parents 13ac8d0ba7fd
children 80d3fdcf58a8
comparison
equal deleted inserted replaced
16472:ae74a32ca5d9 16473:d9697b778be2