changeset 23950:68af8ad58a8f

cosmetics, indentation
author ivo
date Tue, 31 Jul 2007 14:51:56 +0000
parents 26db94620073
children 993062afb229
files TOOLS/checktree.sh
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- 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
         ;;
     *)