diff TOOLS/checktree.sh @ 26772:e60dfd4ffeae

There is no need to ignore errors from 'rm -f' commands.
author diego
date Sun, 18 May 2008 14:23:45 +0000
parents e60a367eb80e
children abd0a4e9daa0
line wrap: on
line diff