mirror of
https://github.com/curl/curl.git
synced 2026-05-19 08:46:20 +03:00
contrithanks.sh: exclude existing names case insensitively
This commit is contained in:
parent
9816c67b9b
commit
fcfe39236a
1 changed files with 1 additions and 1 deletions
|
|
@ -54,4 +54,4 @@ sed 's/^ *//'
|
|||
sed -f ./docs/THANKS-filter | \
|
||||
grep -a ' ' | \
|
||||
sort -fu | \
|
||||
grep -axvf ./docs/THANKS
|
||||
grep -aixvf ./docs/THANKS
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue