Brendan Coles 62ced35346 Ports: Use ftpmirror.gnu.org mirror server for GNU ports		2021-04-15 09:30:42 +02:00
..
patches	Ports: Switch to new ports system (#594)	2019-09-24 08:56:39 +02:00
package.sh	Ports: Use ftpmirror.gnu.org mirror server for GNU ports	2021-04-15 09:30:42 +02:00