Brendan Coles 62ced35346 Ports: Use ftpmirror.gnu.org mirror server for GNU ports		2021-04-15 09:30:42 +02:00
..
package.sh	Ports: Use ftpmirror.gnu.org mirror server for GNU ports	2021-04-15 09:30:42 +02:00