diff TOOLS/checktree.sh @ 18744:212b36a111f3

Consistency fix. 10l to Diego for missing this.
author rathann
date Sun, 18 Jun 2006 09:02:38 +0000
parents edffd6f8a022
children e3f7f221f75e
line wrap: on
line diff