Merge branch 'jc/doc-diff-patch.txt'
commitc253d61137d68e11f109ee9fe358aecd21760d3c
authorJunio C Hamano <gitster@pobox.com>
Sun, 22 Jan 2023 01:21:58 +0000 (21 17:21 -0800)
committerJunio C Hamano <gitster@pobox.com>
Sun, 22 Jan 2023 01:21:58 +0000 (21 17:21 -0800)
treeecac3127b82099e9e537dbcdaa53735ed7f48952
parentfc2735f427fdf6c5a46688f3aa9750b82f1058fe
parentebdc46c242ac53d73295ba8953456b571dbad322
Merge branch 'jc/doc-diff-patch.txt'

Doc update.

* jc/doc-diff-patch.txt:
  docs: link generating patch sections