diff options
| author | Junio C Hamano <gitster@pobox.com> | 2024-04-03 10:56:19 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2024-04-03 10:56:19 -0700 |
| commit | e4193dcf127ec46704dcc637af083b01302383b0 (patch) | |
| tree | 47f3bfebd0249dcebeaef85728ab6bc7894042b7 /Documentation/config | |
| parent | e76218cad383f901ba8d64db028c3b5e926db2e7 (diff) | |
| parent | 6e9ef296e2210260852391186ba3fc411fa5b08a (diff) | |
| download | git-e4193dcf127ec46704dcc637af083b01302383b0.tar.gz | |
Merge branch 'ds/grep-doc-updates'
Documentation updates.
* ds/grep-doc-updates:
grep docs: describe --no-index further and improve formatting a bit
grep docs: describe --recurse-submodules further and improve formatting a bit
Diffstat (limited to 'Documentation/config')
| -rw-r--r-- | Documentation/config/grep.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/config/grep.txt b/Documentation/config/grep.txt index e521f20390..10041f27b0 100644 --- a/Documentation/config/grep.txt +++ b/Documentation/config/grep.txt @@ -24,5 +24,5 @@ grep.fullName:: If set to true, enable `--full-name` option by default. grep.fallbackToNoIndex:: - If set to true, fall back to git grep --no-index if git grep + If set to true, fall back to `git grep --no-index` if `git grep` is executed outside of a git repository. Defaults to false. |