Merge branch 'jc/cat-file-batch-commands'
commitbf23fe5c37d62f37267d31d4afa1a1444f70cdac
authorJunio C Hamano <gitster@pobox.com>
Thu, 7 Apr 2022 22:04:19 +0000 (7 15:04 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 7 Apr 2022 22:04:19 +0000 (7 15:04 -0700)
tree00ed7921ccb9fc38c4afc0479017aea62460a775
parent07135d6be732aca61dfa77d03a3aa06120767c03
parent473fa2df08d9c6e2a4ff81ddc74f53f4b94a7983
Merge branch 'jc/cat-file-batch-commands'

Doc fix.

* jc/cat-file-batch-commands:
  Documentation: add --batch-command to cat-file synopsis