Linus Groh 37f837bde7 Ports: Replace hardcoded versions in 'files' URLs ... Let's just use $version everywhere (we already do this for most ports).		2021-03-13 13:13:03 +01:00
..
patches	Ports: Switch to new ports system (#594)	2019-09-24 08:56:39 +02:00
package.sh	Ports: Replace hardcoded versions in 'files' URLs	2021-03-13 13:13:03 +01:00