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 /builtin/commit-graph.c | |
| parent | 06355d72dc610ec3806cda328ec9b347a5daed5b (diff) | |
| parent | 8650c6298c1cde720ffe3fe9f222662f61e7a0dc (diff) | |
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 'builtin/commit-graph.c')
0 files changed, 0 insertions, 0 deletions