name-rev: drop unused parameters from is_better_name()
authorJeff King <peff@peff.net>
Thu, 9 May 2019 21:30:56 +0000 (17:30 -0400)
committerJunio C Hamano <gitster@pobox.com>
Mon, 13 May 2019 05:22:54 +0000 (14:22 +0900)
commitc016579...952fff060243cdf199df30209f9995bc
treef8de63f...5a2d95276ad4f25f658ab9a164f36e5dcopy hash to clipboard (tree)
parentbe27fb7...287a81b5b3c889121eab99d344272e8bcopy hash to clipboard (diff)
builtin/name-rev.c