EWouters 50758181a3 Ports: Update formatting to be consistent with other ports ... This commit updates the formatting for all ports to be updated in this PR in one go, to keep those changes centralized.		2023-10-12 23:30:22 +02:00
..
patches	Ports: Format patches without numbering, commit hash or version number	2022-06-08 17:58:36 +01:00
package.sh	Ports: Update formatting to be consistent with other ports	2023-10-12 23:30:22 +02:00