diff options
author | Junio C Hamano <gitster@pobox.com> | 2024-04-03 15:37:25 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2024-04-03 15:37:25 -0700 |
commit | 82b343df6009ed0f79371c7b3322e30b14a0daf1 (patch) | |
tree | f8defebf97f5972e2ad842f5879bca1f2e3be0e9 /git-config.html | |
parent | e99011429084c5e70c58031325f78a5d4b077a12 (diff) | |
download | git-htmldocs-82b343df6009ed0f79371c7b3322e30b14a0daf1.tar.gz |
Autogenerated HTML docs for v2.44.0-478-g7774c
Diffstat (limited to 'git-config.html')
-rw-r--r-- | git-config.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-config.html b/git-config.html index 8431ba803..0551a0cc6 100644 --- a/git-config.html +++ b/git-config.html @@ -6829,7 +6829,7 @@ grep.fallbackToNoIndex </dt>
<dd>
<p>
- If set to true, fall back to git grep --no-index if git grep
+ If set to true, fall back to <code>git grep --no-index</code> if <code>git grep</code>
is executed outside of a git repository. Defaults to false.
</p>
</dd>
|