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 sam	2021-06-06 00:17:37 +01:00
package.sh	Ports: Set port to match the port's directory	2022-04-03 12:35:14 +01:00