mirror of
https://github.com/curl/curl.git
synced 2024-12-27 06:59:43 +08:00
7d8d25174c
... since users might look for those terms in the manpage. Closes #13590 |
||
---|---|---|
.. | ||
badwords.pl | ||
badwords.txt | ||
cleancmd.pl | ||
cleanspell.pl | ||
codespell-ignore.txt | ||
shellcheck.sh | ||
spellcheck.words | ||
spellcheck.yaml | ||
verify-examples.pl | ||
verify-synopsis.pl |