aboutsummaryrefslogtreecommitdiff
path: root/tools/update-thanks
AgeCommit message (Collapse)Author
2016-11-28tools/update-thanks: Match case-insensitivelyGravatar Holger Weiss
When checking whether an author name already exists in the AUTHORS or THANKS.in file, perform a case-insensitive match.
2014-12-15Add tools/update-thanks scriptGravatar Holger Weiss
The tools/update-thanks script can be used to update the THANKS.in file.