Emil Engler ce13b258ca Ports: Use new curl domain ... curl switched it's domain to curl.se last year: https://daniel.haxx.se/blog/2020/11/04/the-journey-to-a-curl-domain/ I think we should follow this change and adapt the new domain name.		2021-02-17 14:40:50 +01:00
..
patches	Ports: Switch to new ports system (#594)	2019-09-24 08:56:39 +02:00
package.sh	Ports: Use new curl domain	2021-02-17 14:40:50 +01:00