diff options
author | Jeff King <peff@peff.net> | 2023-02-24 09:39:48 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2023-02-24 20:13:33 +0300 |
commit | 506ebaac96b7d9a42853c16d0523fd493b7991da (patch) | |
tree | 4b1724759753b131c4c9e5e468192f0d63c9c63e /serve.c | |
parent | a5c76b3698f3672afecd65eed233b095123ae1d6 (diff) |
help: mark unused parameter in git_unknown_cmd_config()
The extra callback parameter became unused in 0918d08887 (help.c: fix
autocorrect in work tree for bare repository, 2022-10-29), but we can't
get rid of it because we must conform to the config callback interface.
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'serve.c')
0 files changed, 0 insertions, 0 deletions