# HG changeset patch
# User ivo
# Date 1152913100 0
# Node ID 5660be9dfd64e644145d6a23b2d08686fd92d791
# Parent  a2f20562aac3bc86fa55e2c38854691767e91ef1
remove useless comment

diff -r a2f20562aac3 -r 5660be9dfd64 TOOLS/checktree.sh
--- a/TOOLS/checktree.sh	Fri Jul 14 17:14:16 2006 +0000
+++ b/TOOLS/checktree.sh	Fri Jul 14 21:38:20 2006 +0000
@@ -300,6 +300,3 @@
 fi
 
 # -----------------------------------------------------------------------------
-
-# End
-