diff options
author | Junio C Hamano <gitster@pobox.com> | 2021-05-07 12:47:40 +0900 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2021-05-07 12:47:40 +0900 |
commit | 5a357fa477bd9d7f9190cca3e5a7ef1186c3d64a (patch) | |
tree | 97fb917d26fca31d34243366973a0db0a878734e /t/lib-pager.sh | |
parent | Merge branch 'mt/add-rm-in-sparse-checkout' (diff) | |
parent | docs: fix linting issues due to incorrect relative section order (diff) | |
download | tgif-5a357fa477bd9d7f9190cca3e5a7ef1186c3d64a.tar.xz |
Merge branch 'ab/doc-lint'
Dev support.
* ab/doc-lint:
docs: fix linting issues due to incorrect relative section order
doc lint: lint relative section order
doc lint: lint and fix missing "GIT" end sections
doc lint: fix bugs in, simplify and improve lint script
doc lint: Perl "strict" and "warnings" in lint-gitlink.perl
Documentation/Makefile: make doc.dep dependencies a variable again
Documentation/Makefile: make $(wildcard howto/*.txt) a var
Diffstat (limited to 't/lib-pager.sh')
0 files changed, 0 insertions, 0 deletions