diff 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
line wrap: on
line diff