comparison TOOLS/checktree.sh @ 18530:585837bbe7c3

Accept --missing as well as -missing, print less newlines.
author diego
date Wed, 17 May 2006 12:10:17 +0000
parents edffd6f8a022
children e3f7f221f75e
comparison
equal deleted inserted replaced
18529:21bea4385fc9 18530:585837bbe7c3