tree 00ed7921ccb9fc38c4afc0479017aea62460a775
parent 07135d6be732aca61dfa77d03a3aa06120767c03
parent 473fa2df08d9c6e2a4ff81ddc74f53f4b94a7983
author Junio C Hamano <gitster@pobox.com> 1649369059 -0700
committer Junio C Hamano <gitster@pobox.com> 1649369059 -0700

Merge branch 'jc/cat-file-batch-commands'

Doc fix.

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