changeset 25192:1291178302e2

10l for me. I should read my own comments just above it ;)
author ivo
date Fri, 30 Nov 2007 23:02:32 +0000
parents b72103c6f21c
children 55783f005bf3
files TOOLS/checktree.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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 "
 
 # -----------------------------------------------------------------------------