]> git.ipfire.org Git - thirdparty/git.git/commit
projects / thirdparty / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 51bf867) | patch
grep: mark unused parameter in output function
authorJeff King <peff@peff.net>
Tue, 29 Aug 2023 23:45:27 +0000 (19:45 -0400)
committerJunio C Hamano <gitster@pobox.com>
Wed, 30 Aug 2023 00:56:25 +0000 (17:56 -0700)
commitbcba446228eec5dd371137c141e7ed83cc4caee3
tree9d61063d993048a81177e2ab311b42317db18e45tree | snapshot
parent51bf8676c09aefaa8ccd6de0bcae4e0e532cc672commit | diff
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 diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.