diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2022-01-19 00:38:40 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-01-19 00:38:40 +0100 |
commit | f8b8d0d4b82a5eb6ea3829398fd5076f1c49c148 (patch) | |
tree | 176154a1ea3e516f18448d03f8bdf96e7c8d6958 /core | |
parent | 7a9c006b6e9064a0ec897cf071fc49d260034ed2 (diff) | |
parent | fcc9f5ce396ff921ed8253f657a8c9c38e7a878d (diff) |
Merge pull request #22488 from samuelpedrajas/splash_new_scaling_modes
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions