# HG changeset patch
# User ivo
# Date 1196463752 0
# Node ID 1291178302e2e281456c17effdc9db9c8a5c7557
# Parent  b72103c6f21cbfd0c2dffe00ca84aef28174018c
10l for me. I should read my own comments just above it ;)

diff -r b72103c6f21c -r 1291178302e2 TOOLS/checktree.sh
--- a/TOOLS/checktree.sh	Fri Nov 30 23:01:30 2007 +0000
+++ b/TOOLS/checktree.sh	Fri Nov 30 23:02:32 2007 +0000
@@ -30,7 +30,7 @@
 # All yes/no flags. Spaces around flagnames are important!
 
 testflags=" spaces extensions crlf tabs trailws rcsid oll charset stupid gnu \
-res depr"
+res depr "
 allflags="$testflags showcont color head svn "
 
 # -----------------------------------------------------------------------------