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: Add mrsh port	2020-02-05 18:15:15 +01:00
package.sh	Ports: Replace hardcoded versions in 'files' URLs	2021-03-13 13:13:03 +01:00