mirror of
https://github.com/curl/curl.git
synced 2024-11-27 05:50:21 +08:00
76b6348949
To not "collide" or use up the regular curl_ name space. Also makes them easier to detect in helper scripts. Closes #3656 |
||
---|---|---|
.. | ||
completion.pl | ||
contributors.sh | ||
contrithanks.sh | ||
coverage.sh | ||
delta | ||
installcheck.sh | ||
log2changes.pl | ||
Makefile.am | ||
singleuse.pl | ||
updatemanpages.pl |