diff options
author | Junio C Hamano <gitster@pobox.com> | 2019-04-16 21:51:15 +0900 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-04-16 21:51:15 +0900 |
commit | 6b7d215a58fcad73e1d989b5767c9d3b2ba6608b (patch) | |
tree | 78de8e7c65f35106dfde60f0e6b4284f09e7f43f /git-grep.txt | |
parent | e0f71462e15863fa4b188b26e30db0155d52a946 (diff) | |
download | git-htmldocs-6b7d215a58fcad73e1d989b5767c9d3b2ba6608b.tar.gz |
Autogenerated HTML docs for v2.21.0-419-gffac5
Diffstat (limited to 'git-grep.txt')
-rw-r--r-- | git-grep.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-grep.txt b/git-grep.txt index 84fe236a8..2d2796905 100644 --- a/git-grep.txt +++ b/git-grep.txt @@ -88,7 +88,7 @@ OPTIONS mechanism. Only useful with `--untracked`. --exclude-standard:: - Do not pay attention to ignored files specified via the `.gitignore` + Do not pay attention to ignored files specified via the `.gitignore` mechanism. Only useful when searching files in the current directory with `--no-index`. |