./all grep: ident fix.

diff --git a/misc/tools/all/git.subr b/misc/tools/all/git.subr
index 41150d8f7767a7bb6a8ba420e46a2579e09fd126..cf19f7589465b2e0b3cfc35e097582cb9b107e37 100644 (file)
--- a/misc/tools/all/git.subr
+++ b/misc/tools/all/git.subr
@@ -963,7 +963,7 @@ case "$cmd" in
        grep)
                for d in $repos; do
                        if verbose cd "$d0/$d"; then
-                                       git grep -I "$@" || true
+                               git grep -I "$@" || true
                                cd "$d0"
                        fi
                done