mirror of
https://github.com/curl/curl.git
synced 2025-04-24 16:40:32 +08:00
To not "collide" or use up the regular curl_ name space. Also makes them easier to detect in helper scripts. Closes #3656
To not "collide" or use up the regular curl_ name space. Also makes them easier to detect in helper scripts. Closes #3656