diff TOOLS/checktree.sh @ 19678:286a859902db

sync with r18247 patch by Vladimir Voroshilov, voroshil {[at]} gmail {[dot]} com
author diego
date Tue, 05 Sep 2006 10:02:40 +0000
parents e5ec659ec1c6
children 97fbe96274c3
line wrap: on
line diff