diff TOOLS/checktree.sh @ 22282:c773409e6e43

Oops, forgot {} before "else".
author eugeni
date Wed, 21 Feb 2007 09:25:52 +0000
parents 97fbe96274c3
children 131563493cc4
line wrap: on
line diff