Linus Groh 2bc9726e3c Ports: Rename a few .diff files to .patch ...

Let's keep things consistent, .diff is the name we use pretty much
everywhere. Also tweak the glob in .port_includes.sh to be
'patches/*.patch' rather than just 'patches/*'.

2021-01-17 08:43:46 +01:00

..

config.sub.patch

Ports: Rename a few .diff files to .patch

2021-01-17 08:43:46 +01:00