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/check-ref-format.c | |
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 'builtin/check-ref-format.c')
0 files changed, 0 insertions, 0 deletions