mirror of
https://github.com/curl/curl.git
synced 2025-04-24 16:40:32 +08:00
EXTRA_DIST got too long, I shortened it now but we have to do something
else as it will grow a lot more...
This commit is contained in:
parent
c622f2bb4e
commit
60bbb64a81