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 /misc/ci/sources.list | |
| parent | 7a9c006b6e9064a0ec897cf071fc49d260034ed2 (diff) | |
| parent | fcc9f5ce396ff921ed8253f657a8c9c38e7a878d (diff) | |
Merge pull request #22488 from samuelpedrajas/splash_new_scaling_modes
Diffstat (limited to 'misc/ci/sources.list')
0 files changed, 0 insertions, 0 deletions