diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2021-10-25 16:07:01 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2021-10-25 16:07:01 -0700 |
| commit | 63ec2297d26155adb0e38745bf2284cd663add8e (patch) | |
| tree | a901f22a8441e07116908d22aa4c36aa95decfa2 /Documentation/git-grep.txt | |
| parent | Merge branch 'ab/pkt-line-cleanup' (diff) | |
| parent | doc lint: make "lint-docs" non-.PHONY (diff) | |
| download | tgif-63ec2297d26155adb0e38745bf2284cd663add8e.tar.xz | |
Merge branch 'ab/fix-make-lint-docs'
Build fix.
* ab/fix-make-lint-docs:
doc lint: make "lint-docs" non-.PHONY
doc build: speed up "make lint-docs"
doc lint: emit errors on STDERR
doc lint: fix error-hiding regression
Diffstat (limited to 'Documentation/git-grep.txt')
0 files changed, 0 insertions, 0 deletions