diff options
author | Linus Groh <mail@linusgroh.de> | 2021-01-17 08:14:27 +0100 |
---|---|---|
committer | Andreas Kling <kling@serenityos.org> | 2021-01-17 08:43:46 +0100 |
commit | 2bc9726e3c83cc015d5f667452244a74550829a7 (patch) | |
tree | 68857e5eebe1ee33d9de6414eb7ec90894396f25 /Kernel/Devices/MBVGADevice.h | |
parent | 95988b44a0f28dab0cc9cf7876836fb618e6eb58 (diff) | |
download | serenity-2bc9726e3c83cc015d5f667452244a74550829a7.zip |
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/*'.
Diffstat (limited to 'Kernel/Devices/MBVGADevice.h')
0 files changed, 0 insertions, 0 deletions