Jelle Raaijmakers d53c602e11 Ports: Set port to match the port's directory ... We currently have no valid use case for having a `port` property different from the directory name the port's residing in. We do have issues when this is the case when referencing dependencies, so let's make sure all ports have a sensible `port` property to begin with.		2022-04-03 12:35:14 +01:00
..
patches	Ports: Add ReadMe files explaining port patches that have explanations	2022-01-16 10:32:50 +03:30
package.sh	Ports: Set port to match the port's directory	2022-04-03 12:35:14 +01:00