# HG changeset patch
# User ivo
# Date 1185893516 0
# Node ID 68af8ad58a8f372b93e4b019447dc8d177657d62
# Parent  26db9462007310967a1950aee9af96c6b9d23e36
cosmetics, indentation

diff -r 26db94620073 -r 68af8ad58a8f TOOLS/checktree.sh
--- a/TOOLS/checktree.sh	Tue Jul 31 14:50:44 2007 +0000
+++ b/TOOLS/checktree.sh	Tue Jul 31 14:51:56 2007 +0000
@@ -148,9 +148,9 @@
                 eval _$var=$val
                 ;;
             *)
-        echo "unknown option: $i" >&2
-        exit 0
-        ;;
+                echo "unknown option: $i" >&2
+                exit 0
+                ;;
         esac
         ;;
     *)