lib/scripts/tools.pl
changeset 48858 86816c61b5ca
parent 42124 7519c7c33017
--- a/lib/scripts/tools.pl	Sun Aug 19 17:33:00 2012 +0200
+++ b/lib/scripts/tools.pl	Sun Aug 19 17:51:41 2012 +0200
@@ -24,7 +24,7 @@
             }
             close FILE;
             if (defined($description)) {
-              push(@tools, "    $name - $description\n");
+              push(@tools, "  $name - $description\n");
             }
           }
         }