]> git.99rst.org Git - git.git/commit
git.99rst.org / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 51bf867)
grep: mark unused parameter in output function
authorJeff King <redacted>
Tue, 29 Aug 2023 23:45:27 +0000 (19:45 -0400)
committerJunio C Hamano <redacted>
Wed, 30 Aug 2023 00:56:25 +0000 (17:56 -0700)
commitbcba446228eec5dd371137c141e7ed83cc4caee3
tree9d61063d993048a81177e2ab311b42317db18e45tree
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 <redacted>
Signed-off-by: Junio C Hamano <redacted>
grep.c diff | blob | history
git clone https://git.99rst.org/PROJECT