comparison TOOLS/checktree.sh @ 23772:bb0341cf9f43

Remove incomplete compilation fix bandaid.
author diego
date Mon, 16 Jul 2007 20:12:43 +0000
parents 0e8285c7b2fa
children 91ccac9cc015
comparison
equal deleted inserted replaced
23771:1ddf3b0122fb 23772:bb0341cf9f43