diff options
author | Ævar Arnfjörð Bjarmason <avarab@gmail.com> | 2022-04-07 21:08:59 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-04-07 13:31:54 -0700 |
commit | 473fa2df08d9c6e2a4ff81ddc74f53f4b94a7983 (patch) | |
tree | 7c4af6c0d7ffdd953910adfc748b0a74896063a7 /commit.c | |
parent | 440c705ea63253642c8f4761f80eb7a97a62b614 (diff) |
Documentation: add --batch-command to cat-file synopsis
440c705ea63 (cat-file: add --batch-command mode, 2022-02-18) added
the new option and operating mode without listing it to the synopsis
section. Fix it.
Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'commit.c')
0 files changed, 0 insertions, 0 deletions