mirror of
https://github.com/curl/curl.git
synced 2025-03-19 15:40:42 +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