]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'jk/doc-diff-parallel' into maint
authorJunio C Hamano <gitster@pobox.com>
Tue, 17 Mar 2020 22:02:22 +0000 (15:02 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 17 Mar 2020 22:02:22 +0000 (15:02 -0700)
Update to doc-diff.

* jk/doc-diff-parallel:
  doc-diff: use single-colon rule in rendering Makefile


Trivial merge