grep: mark unused parameter in output function
commitbcba446228eec5dd371137c141e7ed83cc4caee3
authorJeff King <peff@peff.net>
Tue, 29 Aug 2023 23:45:27 +0000 (29 19:45 -0400)
committerJunio C Hamano <gitster@pobox.com>
Wed, 30 Aug 2023 00:56:25 +0000 (29 17:56 -0700)
tree9d61063d993048a81177e2ab311b42317db18e45
parent51bf8676c09aefaa8ccd6de0bcae4e0e532cc672
grep: mark unused parameter in output function

This is a callback used with grep_options.output, but we don't look at
the grep_opt parameter, as we're just writing the output to stdout.

Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
grep.c