From f0d331579348e39c1dbd5b8ed422d9cf2c715556 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Matthias=20Kr=C3=BCger?= Date: Sun, 2 Jun 2013 10:00:19 +0200 Subject: [PATCH] ./all grep: ident fix. --- misc/tools/all/git.subr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/misc/tools/all/git.subr b/misc/tools/all/git.subr index 41150d8f..cf19f758 100644 --- 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 -- 2.39.2